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