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