252-0216-00L  Rigorous Software Engineering

SemesterSpring Semester 2021
LecturersM. Vechev
Periodicityyearly recurring course
Language of instructionEnglish


NumberTitleHoursLecturers
252-0216-00 VRigorous Software Engineering4 hrs
Tue12:15-14:00CAB G 11 »
Wed10:15-12:00CAB G 61 »
M. Vechev
252-0216-00 URigorous Software Engineering
Groups are selected in myStudies.
2 hrs
Mon14:15-16:00ML F 34 »
Tue16:15-18:00CHN D 48 »
16:15-18:00HG D 3.1 »
16:15-18:00ML E 12 »
Thu16:15-18:00ML H 41.1 »
M. Vechev
252-0216-00 ARigorous Software Engineering1 hrsM. Vechev