WS 19/20

CourseTypeBachelor / MasterDocent
Model CheckingLectureB/MKatoen
Concurrency TheoryLectureB/MKatoen/Noll
Foundations of Informatics Bridging CourseLectureNoll
Formal Semantics of Programming LanguagesSeminarB/MKatoen/Noll