Prof. Dr. Christoph Matheja

www.cmath.eu

Department of Computing Science  (» Postal address)

A03 202-a (» Adress and map)

wenn die Tür offen ist

Lectures

Winter term 2024 / 2025

2.01.489 Automated Program Verification
2.01.800-A Proseminar: Modellierung und Analyse Probabilistischer Systeme
2.01.801-G Forschungsseminar Quantitative Verification
2.01.AM-23 Oberseminar Quantitative Verifikation
Internetkoordinator (Changed: 20 Jun 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page