- Teacher: Nils Froleyks
- Teacher: Maximilian Heisinger
- Teacher: Simone Heisinger
- Teacher: Andreas Plank
- Teacher: Adrian Rebola Pardo
- Teacher: Martina Seidl
338.044, VL Model Checking, Martina Seidl et al., 2024W
Opciones de matriculación
Los invitados no pueden entrar a este curso. Por favor acceda con sus datos.