Rosenfeld, R. . (2022). Introducción a la Verificación de Programas . Revista Abierta De Informática Aplicada, 6(1), 79–100. Recuperado a partir de http://portalreviscien.uai.edu.ar/ojs/index.php/RAIA/article/view/198