Lista de

VALIDACION
3
Wappner, Daniel. (2024). "Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Tarzia, Chiara. (2024). "EPAs para REST APIs con EvoMaster". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Torres, Edén. (2023). "Generador de abstracciones para smart contracts". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.