252-0216-00L  Rigorous Software Engineering

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


252-0216-00 URigorous Software Engineering
GroupsG-01
Mon14:15-16:00IFW A 36 »
G-02
G-03
Thu16:15-18:00LFW C 5 »
G-04