Lucas Cordeiro. 2021.
 Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study. In <em>Companion Proceedings of the 10th Latin-American Symposium on Dependable Computing</em>, November 22, 2021, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 8-9. DOI: <a href="https://doi.org/10.5753/ladc.2021.18531">https://doi.org/10.5753/ladc.2021.18531</a>.