Teaching SS 2022

Aspects of Quantitative Program Verification (Seminar)