Courses (Summer term 2024)

Lectures
Title Type Semester SWS
Lecture / Exercise (LE) SS 2024 2
Lecture / Exercise (LE) SS 2024 4

Theses

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.