Agenda

Título: Abstracciones mediante predicados para la validación de contratos inteligentes Director: Dr. Juan Pablo Galeotti Consejero de estudios: Dr. Ricardo O. Rodriguez Jurados: Dra. Alessandra Gorla , Associate Research Professor, IMDEA Software Institute. Dr. German E. Regis, Profesor Adjunto, Universidad Nacional de Río Cuarto Dr. Renzo Degiovanni, Senior Research [...]