Prof. Dr. Heike Wehrheim
Department für Informatik (» Postanschrift)
Lehrveranstaltungen
Wintersemester 2022 / 2023
2.01.1011
Oberseminar Formale Methoden

2.01.801-B
Forschungsseminar Formale Methoden

2.01.803-B
Praktikum Softwareverifikation

Sommersemester 2022
2.01.410
Formale Methoden

2.01.455
Model Checking

2.01.801-B
Forschungsseminar Formale Methoden

2.01.AM-B
Oberseminar Formale Methoden
