|
|
|
Kontakt |
|
Arbeitsgebiete
Tutor Programmierparadigmen WS 2017/18
Termine
Lehre
- Übung: Programmierparadigmen - Übungen , Wintersemester 2017/2018, Beste Übung
- Übung: Programmierparadigmen - Übungen , Wintersemester 2016/2017, Beste Übung
Veröffentlichungen
2021
-
Formal Verification of Pattern Matching Analyses
April 2021 : H. Dieterichs