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