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