Advanced topic in formal specification and verification of object-oriented software

Erste Veranstaltung: Dienstag, 12. April 2022, 13:30
Prüfungsdatum (falls Klausur): Dienstag, 30. August 2022, 10:00