Rosenfeld R. Verificación de Programas Distribuidos. Revista Abierta de Informática Aplicada [Internet]. 12 de febrero de 2024 [citado 8 de septiembre de 2024];7(2):51-70. Disponible en: https://raia.revistasuai.ar/index.php/raia/article/view/87