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