Publications

Found 26 results
Author Keyword [ Title(Asc)] Type Year
Filters: Author is Rudolf Ferenc  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
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