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