SWT-ASV-M: Applied Software Verification (SoSe 2025)
- Moderator/in: Corinna Feldberger
- Moderator/in: Kerstin Jacob
- Moderator/in: Bernhard Luedtke
- Moderator/in: Gerald Lüttgen
Semester: 2025 Sommersemester
SWT-ASV-M: Applied Software Verification (SoSe 2025)