Sommersemester 2023

Programming Distributed Systems
Verification with the Coq Proof Assistant
Bachelor/Master Project: Software Technology