252-0216-00L  Rigorous Software Engineering

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


NumberTitleHoursLecturers
252-0216-00 VRigorous Software Engineering4 hrs
Wed12:15-14:00HG F 3 »
Thu12:15-14:00HG F 3 »
27.02.12:15-14:00HG G 3 »
M. Vechev, M. Schwerhoff
252-0216-00 URigorous Software Engineering
Groups are selected in myStudies.
2 hrs
Mon14:15-16:00IFW A 36 »
Thu16:15-18:00LFW C 5 »
M. Vechev, M. Schwerhoff
252-0216-00 ARigorous Software Engineering1 hrsM. Vechev, M. Schwerhoff