Birgit Elbl Teaching

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)