R. . Rosenfeld, «Introducción a la Verificación de Programas », RAIA, vol. 6, n.º 1, pp. 79–100, jul. 2022.