Rosenfeld R. Introducción a la Verificación de Programas . RAIA [Internet]. 26 de julio de 2022 [citado 30 de noviembre de 2023];6(1):79-100. Disponible en: http://portalreviscien.uai.edu.ar/ojs/index.php/RAIA/article/view/198