Teaching WS 2023/2024

Aspects of Quantitative Program Verification (Seminar)