252-0058-00L  Formal Methods and Functional Programming

SemesterSpring Semester 2022
LecturersP. Müller, C. Sprenger
Periodicityyearly recurring course
Language of instructionEnglish


 
Main linkInformation
Only public learning materials are listed.