Formal modelling and verification

Semester: 
2016. ősz

Források, háttéranyagok: