[Back]


Doctor's Theses (authored and supervised):

B. Burgstaller:
"Symbolic Evaluation of Imperative Programming Languages";
Supervisor, Reviewer: J. Blieberger, B. Gramlich; 183, 2005.