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