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