Rosenfeld R. Verificación de Programas Paralelos. Revista Abierta de Informática Aplicada [Internet]. 2023 Jun. 30 [cited 2024 Nov. 21];7(1):51-77. Available from: https://raia.revistasuai.ar/index.php/raia/article/view/57