Rosenfeld, R. 2022. Introducción a la Verificación de Programas. Revista Abierta de Informática Aplicada. 6, 1 (Jul. 2022), 79–100. DOI:https://doi.org/10.59471/raia202211.