Tesis

Título	"Estructura deductiva para la identificación de contratos inteligentes EVM vulnerables a ataques FRDoS"
Alumno	Gonzalez Alonzo Alberto Rene
Programa	Maestría en Ciencias de la Computación

Comité tutorial

Profesor
Rodríguez Mota Abraham
Salinas Rosales Moisés
Gallegos García Gina
Aguirre Anaya Eleazar