ROSENFELD, R. . Introducción a la Verificación de Programas . Revista Abierta de Informática Aplicada, [S. l.], v. 6, n. 1, p. 79–100, 2022. Disponível em: http://portalreviscien.uai.edu.ar/ojs/index.php/RAIA/article/view/198. Acesso em: 10 jun. 2023.