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