263-2812-00L Program Verification
| Semester | Spring Semester 2023 |
| Lecturers | P. Müller, M. Eilers |
| Periodicity | yearly recurring course |
| Language of instruction | English |
| General |  : Special students and auditors need a special permission from the lecturers |
| Places | 30 at the most |
| Priority | Registration for the course unit is only possible for the primary target group |
| Primary target group | Computer Science MSc (263000) |
| Waiting list | until 03.03.2023 |