Quantitative Verification - Sommersemester 2019
Veranstalter
| Dozent | Ralf Wimmer, PD Dr., Concept Engineering (Freiburg) |
| Assistent | Leonore Winterer, M.Sc., Professur für Rechnerarchitektur |
|
|
|
|
|
|
|
Quantitative Verification - Sommersemester 2019Veranstalter
|