%0 Thesis
%T LSVerifier: a BMC approach to identify security vulnerabilities in C open-source software projects
%U https://tede.ufam.edu.br/handle/tede/10010
%I Universidade Federal do Amazonas