Der Dekan und der Studiendekan der Fakultät für Informatik laden zu dieser öffentlichen Abschlussprüfung (Präsentation und Verteidigung der Dissertation) im Sitzungszimmer des Dekanats der Fakultät für Informatik, 1040 Wien, Gusshausstraße 30/Erzherzog-Johann-Platz 1, 4. Stock ein und ersuchen um zahlreiches Erscheinen.
Thema: Symbolic Methods for the Verification of Software Models (Abstract: http://www.informatik.tuwien.ac.at/dekanat/Kurzfassung-Widl.pdf )