Cordeiro, L.
(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>, (pp. 8-9). Porto Alegre: SBC.
doi:10.5753/ladc.2021.18531