Cristiá, M. (2002). Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis.
Cita Chicago Style (17a ed.)Cristiá, Maximiliano. Verificación Formal De Una Extensión Segura De Un Sistema De Archivos Compatible Con UNIX. Master Thesis. 2002.
Cita MLA (9a ed.)Cristiá, Maximiliano. Verificación Formal De Una Extensión Segura De Un Sistema De Archivos Compatible Con UNIX. Master Thesis. 2002.
Precaución: Estas citas no son 100% exactas.
