252-0216-00L  Rigorous Software Engineering

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


252-0216-00 URigorous Software Engineering
GroupsG-01
Mon14:15-16:00ML F 34 »
G-02
Mon16:15-18:00ML E 12 »
G-03
Thu16:15-18:00LFW C 5 »
G-04
Thu16:15-18:00ML H 41.1 »