Seminar on deductive and interactive verifiers for establishing program correctness
- Dozent*in: Richard Bubel
- Dozent*in: Daniel Drodt
- Dozent*in: Lukas Grätz
- Dozent*in: Reiner Hähnle
- Dozent*in: Marco Scaletta
- Dozent*in: Anna Schmitt
- Dozent*in: Adele Veschetti