Zum Hauptinhalt
Deutsch (du) (de_du)
Deutsch (de)
Deutsch (du) (de_du)
English (en)
Du bist nicht angemeldet. (
Login
)
Kursinformation
Startseite
Kurse
Wintersemester 2021/22
Wahlbereiche
DIVe WS2122
Beschreibung
Seminar "Deductive and Interactive Verifiers"
Website for the seminar DIVe
Dozent*in:
Richard Bubel
Dozent*in:
Stefan Dillmann
Dozent*in:
Lukas Grätz
Dozent*in:
Reiner Hähnle
Dozent*in:
Asma Heydari Tabar
Dozent*in:
Marco Scaletta