[Back]


Diploma and Master Theses (authored and supervised):
R. Mittermayr:
"Statische Analyse von Multi-Threading Java-Programmen";
Supervisor: J. Blieberger; 183/1, 2005.