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