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