IndexAuthor

Number of items: 2.

Hernández Cerezo, Alejandro (2020) Analysis techniques for Smart contracts: generation of complete control flow graphs. [Trabajo Fin de Grado]

Hernández Cerezo, Alejandro (2020) Estrategias para la implementación de algoritmos de satisfactibilidad en lógica de reescritura. [Trabajo Fin de Grado]

This list was generated on Wed Aug 4 02:56:30 2021 CEST.