CORDEIRO, Lucas C..
 Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study. <em>In</em>: INDUSTRY TRACK - LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 10.	, 2021, Florianópolis.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2021
.
 p. 8-9. 
		DOI: <a href="https://doi.org/10.5753/ladc.2021.18531">https://doi.org/10.5753/ladc.2021.18531</a>.