Courses (Summer term 2023)

Title Type Semester SWS
Lecture / Exercise (LE) SS 2023 4
Practical Courses
Titel Typ Semester SWS
Practical course (P) SS 2023 3
Practical course (P) SS 2023 4


A list of open and ongoing theses can be found here.

Further courses

An overview of courses in the field of Formal Methods can be found here.