Cristiá, M. (2002). Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis.
Citação norma ChicagoCristiá, Maximiliano. Verificación Formal De Una Extensión Segura De Un Sistema De Archivos Compatible Con UNIX. Master Thesis. 2002.
Citação norma MLACristiá, Maximiliano. Verificación Formal De Una Extensión Segura De Un Sistema De Archivos Compatible Con UNIX. Master Thesis. 2002.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.