KUBÍČEK, J. Verifikace programů s ukazateli založená na detekci vzorů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .
eVSKP id 15051