Automating Software Development with Explicit Model Checking - Bauch, Petr (2016)
Vedoucí práce: Jiří Barnat