OLIVEIRA, Kevin; 						ROCHA, Herbert; 						URQUIZA, Marcelle; 						NOBRE, Francisco.
 Open Technologies in Formal Verification: Transforming Code for Circuit Validation. <em>In</em>: CONGRESSO LATINO-AMERICANO DE SOFTWARE LIVRE E TECNOLOGIAS ABERTAS (LATINOWARE), 22.	, 2025, Foz do Iguaçu/PR.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2025
.
 p. 253-262. 
		DOI: <a href="https://doi.org/10.5753/latinoware.2025.16325">https://doi.org/10.5753/latinoware.2025.16325</a>.