Quantitative verification

Prof. Jan Kretinsky, Winter semester 2018/19

Overview