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