NAGY, M. Statická analýza programů v C ve Sparse a příbuzných nástrojích [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2009.
eVSKP id 25683