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