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