252-0058-00L  Formal Methods and Functional Programming

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


 
Main linkInformation
Only public learning materials are listed.