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