Tesis de Grado -

Navegar

Últimos publicados Autor Año Título Obtenido - Año Departamento - Año Director y Director Asistente Jurado Consejero de Estudios Palabras Clave

Colección

Datos Estadísticas

Lista de

3
4
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
α

SOLIDITY

4

Grinspan, Ian. (2025). "Generador de abstracciones de comportamiento para contratos inteligentes mediante fuzzing". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Incem, Matías Nicolás; Rodríguez, Alejandra Alicia. (2025). "Validación experimental de abstracciones modales para contratos inteligentes". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Consoli, Gonzalo. (2025). "Liquid types para la verificación de smart contracts". 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.

Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (54 11) 5285-8274

Biblioteca Campus Virtual Trámites Intranet Webmail Contacto UBA