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: Donnerstag, 15. April 2021, 13:30