Zum Hauptinhalt
Deutsch (du) (de_du)
Deutsch (de)
Deutsch (du) (de_du)
English (en)
Du bist nicht angemeldet. (
Login
)
Kursinformation
Startseite
Kurse
Sommersemester 2019
Wahlbereiche
FSAV SoSe19
Beschreibung
Formal Specification and Verification of Software
Website for the course "Formal Specification and Verification of Software"
Dozent*in:
Richard Bubel
Dozent*in:
Reiner Hähnle