ROSENFELD, R. Verificación de Programas Distribuidos. Revista Abierta de Informática Aplicada, [S. l.], v. 7, n. 2, p. 51–70, 2024. DOI: 10.59471/raia202387. Disponível em: https://raia.revistasuai.ar/index.php/raia/article/view/87. Acesso em: 8 sep. 2024.