Workshop on Infinite Systems
and Verification of Quantitative Properties


Programme and Slides

Wednesday 5

Thursday 6

Friday 7