Cordeiro, Lucas.
" Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study." <em>Companion Proceedings of the 10th Latin-American Symposium on Dependable Computing,
Florianópolis, 2021</em>. SBC, 2021,  
pp.8-9.