263-2812-00L Program Verification
| Semester | Spring Semester 2023 |
| Lecturers | P. Müller, M. Eilers |
| Periodicity | yearly recurring course |
| Language of instruction | English |
| Programme | Section | Type | |
|---|---|---|---|
| CAS in Computer Science | Focus Courses and Electives | W |  |
| Computer Science Master | Elective Courses | W | |
| Computer Science Master | Minor in Programming Languages and Software Engineering | W | |