252-0216-00L Rigorous Software Engineering
| Semester | Frühjahrssemester 2022 |
| Dozierende | M. Schwerhoff, M. Vechev |
| Periodizität | jährlich wiederkehrende Veranstaltung |
| Lehrsprache | Englisch |
| Hauptlink | Course Webpage |
| Es werden nur die öffentlichen Lernmaterialien aufgeführt. | |