Model Checking Software - Ročkai, Petr (2015)
Vedoucí práce: Jiří Barnat