[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.