ROSENFELD, Ricardo. Introducción a la Verificación de Programas. Revista Abierta de Informática Aplicada, [S. l.], v. 6, n. 1, p. 79–100, 2022. DOI: 10.59471/raia202211. Disponível em: https://raia.revistasuai.ar/index.php/raia/article/view/11. Acesso em: 21 nov. 2024.