Sousa, J., 		Farias, B., 		Silva, T., 		Lima Filho, E., & 		Cordeiro, L.
2023 set 18.  LSVerifier: A BMC Approach to Identify Security Vulnerabilities in C Open-Source Software Projects. Anais Estendidos do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg). [Online] :