Prof. Dr. Christoph Matheja

www.cmath.eu

Department für Informatik  (» Postanschrift)

https://uol.de/informatik/

A03 202-a (» Adresse und Lageplan)

wenn die Tür offen ist

Lehrveranstaltungen

Wintersemester 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 (Stand: 20.06.2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page