263-2812-00L  Program Verification

SemesterSpring Semester 2023
LecturersP. Müller, M. Eilers
Periodicityyearly recurring course
Language of instructionEnglish


NumberTitleHoursLecturers
263-2812-00 GProgram Verification Special students and auditors need a special permission from the lecturers.3 hrs
Wed09:15-12:00CAB G 56 »
P. Müller, M. Eilers
263-2812-00 AProgram Verification Special students and auditors need a special permission from the lecturers.1 hrsP. Müller, M. Eilers