Rosenfeld R. Verificación de Programas Distribuidos. Revista Abierta de Informática Aplicada [Internet]. 2023 Dec. 27 [cited 2025 Nov. 8];7(2):51-70. Available from: https://raia.revistasuai.ar/index.php/raia/article/view/87