Publications

Found 26 results
Author Keyword Title [ Type(Asc)] Year
Filters: Author is Rudolf Ferenc  [Clear All Filters]
Book Chapter
Kádár I, Hegedüs P, Ferenc R.  2015.  Adding Constraint Building Mechanisms to a Symbolic Execution Engine Developed for Detecting Runtime Errors. Proceedings of the International Conference on Computational Science and Its Applications – ICCSA 2015. 9159:20-35.

Pages