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