- Teacher: Nils Froleyks
- Teacher: Maximilian Heisinger
- Teacher: Daniela Kaufmann
- Teacher: Daniela Kaufmann
- Teacher: Andreas Plank
- Teacher: Adrian Rebola Pardo
- Teacher: Florian Schrögendorfer
- Teacher: Martina Seidl
338.044, VL Model Checking, Martina Seidl, 2021W
Einschreibeoptionen
Gäste können auf diesen Kurs nicht zugreifen. Melden Sie sich bitte an.