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