Examen de Grado Doctorado

Título de la Tesis: "Type Abstraction and Faceted Types for Declassification"

Comision de Grado:

• Profesor Guia: Eric Tanter
• Prof. Integrante: Federico Olmedo
• Prof. Integrante: Ismael Figueroa
• Prof. Externo: Amal Ahmed - Khoury College of Computer Scieces - Northeastern University

--
Comunicaciones DCC