Quantitative Verification - Summer Term 2019
organiser
| lecturer | Ralf Wimmer, PD Dr., Concept Engineering (Freiburg) |
| assistant | Leonore Winterer, M.Sc., Chair of computer architecture |
|
|
|
|
|
|
|
Quantitative Verification - Summer Term 2019organiser
|