K. Oliveira, H. Rocha, M. Urquiza, and F. Nobre.
" 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>, Foz do Iguaçu/PR, 2025, pp. 253-262, doi: <a href="https://doi.org/10.5753/latinoware.2025.16325">https://doi.org/10.5753/latinoware.2025.16325</a>.