252-0058-00L  Formal Methods and Functional Programming

SemesterSpring Semester 2018
LecturersD. Basin, P. Müller
Periodicityyearly recurring course
Language of instructionEnglish


There are no additional restrictions for the registration.