Automating Software Development with Explicit Model Checking - Bauch, Petr (Dizertace (Ph.D.)–Masarykova univerzita, Fakulta informatiky, 2016, 2016)
Vedoucí práce: Jiří Barnat