Lehre

Prof. Dr. Heike Wehrheim

Kontakt

Sekretariat

Marion Bramkamp

Uhlhornsweg 84 — Raum A2 2-228

+49 441 798-4522

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

WS2021/2022

(Stand: 16.03.2023) |