Oliveira, Kevin, 		Rocha, Herbert, 		Urquiza, Marcelle, E 		Nobre, Francisco.
" Open Technologies in Formal Verification: Transforming Code for Circuit Validation" <em>Anais do Congresso Latino-Americano de Software Livre e Tecnologias Abertas (Latinoware)</em> [Online], (22 outubro 2025)