Advanced topic in formal specification and verification of object-oriented software
- Dozent*in: Richard Bubel
- Dozent*in: Stefan Dillmann
- Dozent*in: Reiner Hähnle
- Dozent*in: Asma Heydari Tabar
Erste Veranstaltung: Dienstag, 12. April 2022, 13:30
Prüfungsdatum (falls Klausur): Dienstag, 30. August 2022, 10:00