252-0216-00L Rigorous Software Engineering
| Semester | Spring Semester 2022 |
| Lecturers | M. Schwerhoff, M. Vechev |
| Periodicity | yearly recurring course |
| Language of instruction | English |
| There are no additional restrictions for the registration. |
| Semester | Spring Semester 2022 |
| Lecturers | M. Schwerhoff, M. Vechev |
| Periodicity | yearly recurring course |
| Language of instruction | English |
| There are no additional restrictions for the registration. |