Sousa, J., 		Farias, B., 		Silva, T., 		Lima Filho, E., & 		Cordeiro, L.
(2023).
 LSVerifier: A BMC Approach to Identify Security Vulnerabilities in C Open-Source Software Projects.
In <em>Anais Estendidos do XXIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, (pp. 17-24). Porto Alegre: SBC.
doi:10.5753/sbseg_estendido.2023.235802