252-0216-00L  Rigorous Software Engineering

SemesterSpring Semester 2019
LecturersZ. Su, M. Vechev
Periodicityyearly recurring course
Language of instructionEnglish
CommentPreviously called Software Architecture and Engineering


NumberTitleHoursLecturers
252-0216-00 VRigorous Software Engineering4 hrs
Mon10:15-12:00CAB G 61 »
Wed10:15-12:00CAB G 61 »
Z. Su, M. Vechev
252-0216-00 URigorous Software Engineering3 hrs
Mon13:15-16:00HG D 3.2 »
Tue15:15-18:00CHN D 48 »
15:15-18:00HG D 3.1 »
15:15-18:00ML E 12 »
Thu15:15-18:00ML H 41.1 »
18.02.13:15-16:00CHN D 44 »
25.02.13:15-16:00CHN D 44 »
Z. Su, M. Vechev