ĎURIČEKOVÁ, D. Statická analýza možných hodnot proměnných v programech v C [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013.
eVSKP id 79530