Oliveira, K., 		Rocha, H., 		Urquiza, M., & 		Nobre, F.
2025 out 22.  Open Technologies in Formal Verification: Transforming Code for Circuit Validation. Anais do Congresso Latino-Americano de Software Livre e Tecnologias Abertas (Latinoware). [Online] :