Rosenfeld R. Verificación de Programas Paralelos. Revista Abierta de Informática Aplicada. 2023;7(1):51-77. doi:10.59471/raia202357