Cordeiro, Lucas.
" Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study" <em>Anais Estendidos do Latin-American Symposium on Dependable Computing (LADC)</em> [Online], (22 novembro 2021)