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.


NumberTitleHoursLecturers
263-2812-00 GProgram Verification3 hrs
Wed09-12CAB G 56 »
P. Müller, C. Matheja
263-2812-00 AProgram Verification1 hrsP. Müller, C. Matheja