[Back]


Habilitation Theses:

L. Kovacs:
"Symbol Elimination in Program Analysis";
Technische Universität Wien/Fakultät für Informatik, 2012.


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