Der Dekan und der Studiendekan der Fakultät für Informatik laden zur öffentlichen Präsentation und Verteidigung der Dissertation ein und ersuchen um zahlreiches Erscheinen.
Thema: New Model Checking Techniques for Software Systems Modeled with Graphs and Graph Transformations (Abstract, PDF)
Ort: Sitzungszimmer des Dekanats der Fakultät für Informatik, 1040 Wien, Gusshausstraße 30/Erzherzog-Johann-Platz 1, 4. Stock