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: Tuesday, 12 April 2022, 13:30
Prüfungsdatum (falls Klausur): Tuesday, 30 August 2022, 10:00