[Zurück]


Diplom- und Master-Arbeiten (eigene und betreute):
J. Birgmeier:
"Software Verification with IC3 via Abstraction and Interpolation";
Betreuer/in(nen): G. Weissenbacher, H. Veith; Fakultät für Informatik der Technischen Universität Wien, 2013.

Zugeordnete Projekte:
Projektleitung Georg Weissenbacher:
Heisenbugs: Auffindung und Erklärung

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.