Rosenfeld, Ricardo. 2022. “Introducción a La Verificación De Programas”. Revista Abierta De Informática Aplicada 6 (1): 79-100. https://doi.org/10.59471/raia202211.