252-0216-00L  Rigorous Software Engineering

SemesterSpring Semester 2022
LecturersM. Schwerhoff, M. Vechev
Periodicityyearly recurring course
Language of instructionEnglish


NumberTitleHoursLecturers
252-0216-00 VRigorous Software Engineering4 hrs
Tue16:15-18:00HG F 3 »
Wed12:15-14:00HG F 3 »
M. Schwerhoff, M. Vechev
252-0216-00 URigorous Software Engineering
Groups are selected in myStudies.
2 hrs
Mon14:15-16:00ML F 34 »
16:15-18:00ML E 12 »
Thu16:15-18:00LFW C 5 »
16:15-18:00ML H 41.1 »
M. Schwerhoff, M. Vechev
252-0216-00 ARigorous Software Engineering1 hrsM. Schwerhoff, M. Vechev