Rosenfeld R. Verificación de Programas Distribuidos. Revista Abierta de Informática Aplicada. 2023;7(2):51-70. doi:10.59471/raia202387