252-0216-00L  Rigorous Software Engineering

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


 
Main linkCourse Webpage
Only public learning materials are listed.