[Back]


Diploma and Master Theses (authored and supervised):
I. Jucu:
"An Evaluation of Symbol Elimination for Generating First-Order Loop Invariants";
Supervisor: L. Kovacs; Institut für Computersprachen - E185-1, 2013; final examination: 2013-11-19.

Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_226016.pdf

Created from the Publication Database of the Vienna University of Technology.