L. Cordeiro.
" Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study", in <em>Anais Estendidos do X Latin-American Symposium on Dependable Computing</em>, Florianópolis, 2021, pp. 8-9, doi: <a href="https://doi.org/10.5753/ladc.2021.18531">https://doi.org/10.5753/ladc.2021.18531</a>.