252-0216-00L  Rigorous Software Engineering

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


ProgrammeSectionType
Computer Science BachelorMajor: Systems and Software EngineeringOInformation