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