Seminar: Formale Methoden für Security und Verifikation - Sommersemester 2013
Zeit / Ort
| Vorlesung | Einführungsveranstaltung und Themenvergabe: Zeit: Dienstag, 7. Mai 2013, 13:00 Uhr (s.t.) Ort: Gebäude 51, Raum 00.026 (Besprechungsraum) Blocktermin zur Präsentation der ausgearbeiteten Themen: Zeit: 15.7.2013, 13-17 Uhr und Di, 16.7.2013, 9-12 Uhr Ort: Gebäude 51, Raum 00.026 (Besprechungsraum) |