Tesis Doctoral

Bavera, Francisco Pedro. "Tipos para seguridad basada en flujo de información y computación auditada" . (2012). Tesis Doctoral, Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.