[Back]


Doctor's Theses (authored and supervised):
M. Sinn:
"Automated Complexity Analysis for Imperative Programs";
Supervisor, Reviewer: F. Zuleger, T. Vojnar; Institut für Informationssysteme, 2016.

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

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