Birgit Elbl
|
Wissenschaftliche Interessen:
|
Strukturelle Beweistheorie, Logik in der Informatik, Semantik von Programmiersprachen, Formale Methoden: Spezifikation und Verifikation |
|
Lehre:
|
siehe Veranstaltungsliste |
|
Veröffentlichungen:
|
siehe Publikationsliste |