Rosenfeld, R. . (2022) «Introducción a la Verificación de Programas », Revista Abierta de Informática Aplicada, 6(1), pp. 79–100. Disponible en: http://portalreviscien.uai.edu.ar/ojs/index.php/RAIA/article/view/198 (Accedido: 10junio2023).