Seminars and Practical Courses

Practical Course Model Checking

Practical Course · Master · Winter Semester

Docent: Tim Quatmann

Proseminar Datenstrukturen und Algorithmen

Proseminar · Bachelor · Winter Semester

Docent: Thomas Noll

Seminar Trends in Computer-Aided Verification

Seminar · Bachelor / Master · Winter Semester

Docent: Thomas Noll