Bavera, F. P. (2012). Tipos para seguridad basada en flujo de información y computación auditada. Web
Citación estilo ChicagoBavera, Francisco Pedro. Tipos Para Seguridad Basada En Flujo De Información Y Computación Auditada. 2012.
Cita MLABavera, Francisco Pedro. Tipos Para Seguridad Basada En Flujo De Información Y Computación Auditada. 2012.
Precaución: Estas citas no son 100% exactas.