The spring semester 2021 will certainly take place online until Easter. Exceptions: Courses that can only be carried out with on-site presence. Please note the information provided by the lecturers.

263-2812-00L  Program Verification

SemesterSpring Semester 2021
LecturersP. Müller, C. Matheja
Periodicityyearly recurring course
Language of instructionEnglish
CommentNumber of participants limited to 30.


Places30 at the most
PriorityRegistration for the course unit is only possible for the primary target group
Primary target groupComputer Science MSc (263000)
Waiting listuntil 25.02.2021