FIEDOR, Jan. Praktické metody automatizované verifikace paralelních programů. Online, Disertační práce, vedoucí Tomáš Vojnar. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů. Dostupné z: http://hdl.handle.net/11012/187297. [cit. 2025-04-08].