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.


No information on groups available.