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