WAPPNER, D. Abstracción de contratos inteligentes mediante ejecución simbólica dinámica. Memorias de las JAIIO, v. 9, n. 6, p. 109-119, 11 jul. 2023.