SMUTNÝ, M. Zlepšení přesnosti formální analýzy programů v nástroji 2LS [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2019.
eVSKP id 121994