Sousa, J., 		Farias, B., 		Silva, T., 		Lima Filho, E., & 		Cordeiro, L.
2023 Sep 18.  LSVerifier: A BMC Approach to Identify Security Vulnerabilities in C Open-Source Software Projects. Companion Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg). [Online] :