materials
material download
Quantitative Verification - Summer Term 18
time / place
| lecture | This lecture is given as a block from April 03 until April 13, 2018. |
| pratice | There will be four exercise groups at the beginning of the summer term 2018:
from 2pm to 4pm in room 51-00-034. |