Rosenfeld, R. . (2023). Verificación de Programas Distribuidos. Revista Abierta De Informática Aplicada, 7(2), 51-70. https://doi.org/10.59471/raia202387