Seminar on deductive and interactive verifiers for establishing program correctness
- 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
- Dozent*in: Anna Schmitt