Oliveira, K., 		Rocha, H., 		Urquiza, M., & 		Nobre, F.
2025 Oct 22.  Open Technologies in Formal Verification: Transforming Code for Circuit Validation. Proceedings of the Latin American Congress on Free Software and Open Technologies (Latinoware). [Online] :