WINTER 14/15

In the winter term 2014/15 we offer:


Core Course: Verification
Advanced Course: Quantitative Model Checking