Quantitative Verification - Summer Term 2020
time / place
| lecture | Because of the current situation, this course will be held online. Lecture recording and further material will be supplied via Ilias: https://ilias.uni-freiburg.de/ilias.php?ref_id=1552336&cmdClass=ilrepositorygui&cmdNode=yc&baseClass=ilRepositoryGUI |
| pratice | TBA (ca. biweekly) via video stream |