Rosenfeld, R. . (2022). Verificación de Programas no Determinísticos. Revista Abierta De Informática Aplicada, 6(2), 54-79. https://doi.org/10.59471/raia20225