Beschreibung von Seminar "Deductive and Interactive Verifiers" | Lernportal Informatik

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