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