Oliveira, K., 		Rocha, H., 		Urquiza, M., & 		Nobre, F.
(2025).
 Open Technologies in Formal Verification: Transforming Code for Circuit Validation.
In <em>Anais do XXII Congresso Latino-Americano de Software Livre e Tecnologias Abertas</em>, (pp. 253-262). Porto Alegre: SBC.
doi:10.5753/latinoware.2025.16325