|
|
|
Kontakt Email:
Loading... |
|
Arbeitsgebiete
Tutor Programmierparadigmen WS 2021/22
Termine
Lehre
- Übung: Programmierparadigmen - Übungen , Wintersemester 2021/2022, Beste Übung
- Übung: Programmierparadigmen - Übungen , Wintersemester 2020/2021
- Übung: Programmierparadigmen - Übungen , Wintersemester 2019/2020
Veröffentlichungen
2022
-
An Improved Interface for Interactive Proofs in Separation Logic
October 2022 : L. König