Rosenfeld, R. (2022) “Verificación de Programas no Determinísticos”, Revista Abierta de Informática Aplicada, 6(2), pp. 54–79. doi:10.59471/raia20225.