252-0216-00L  Rigorous Software Engineering

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


ProgrammeSectionType
Computer Science BachelorMajor: Systems and Software EngineeringOInformation