Prof. Dr. Heike Wehrheim

Pressemitteilungen mit Nennung der Person

Department für Informatik  (» Postanschrift)

Lehrveranstaltungen

Sommersemester 2023

2.01.1011 Oberseminar Formale Methoden
2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co.
2.01.481 Software Analysis
2.01.490 Seminar: Logical Methods in AI Verification and Explanation
2.01.801-B Forschungsseminar Formale Methoden
Internetkoordinator (Stand: 17.03.2023)  |