Tesis Doctoral

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