Kevin Oliveira, Herbert Rocha, Marcelle Urquiza, and Francisco Nobre. 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>, outubro 22, 2025, Foz do Iguaçu/PR, Brasil. SBC, Porto Alegre, Brasil, 253-262. DOI: <a href="https://doi.org/10.5753/latinoware.2025.16325">https://doi.org/10.5753/latinoware.2025.16325</a>.