Cordeiro, L.
2021 Nov 22.  Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study. Companion Proceedings of the Latin-American Symposium on Dependable and Secure Computing (LADC). [Online] :