Rosenfeld, R. (2023) “Verificación de Programas Distribuidos”, Revista Abierta de Informática Aplicada, 7(2), pp. 51–70. doi:10.59471/raia202387.