L. Ronsoni Maier, B. E. da R. Nunes, L. P. Baggio, R. C. W. Harrote, e S. M. A. Bevilaqua, “A VERIFICAÇÃO POR REVERSIBILIDADE: UM ESTUDO DE CASO ”, SIEPE, p. e38300, nov. 2025.