Birgit Elbl - Teaching
A complete list of courses (in German) is here.
Recent and current courses
(information in German only):
Formale Entwicklung korrekter Software: Spezifikation
Mathematische Logik
Praktikum "Korrekte Software" (gemeinsam mit apl. Prof. L. Schmitz)