Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis
Supervisor(es): Giménez, Eduardo - Szasz, Nora
| 2002 | |
|
UNIX-COMPATIBILIDAD SISTEMAS OPERATIVOS |
|
| Español | |
| Universidad de la República | |
| COLIBRI | |
| http://hdl.handle.net/20.500.12008/2920 | |
| Acceso abierto | |
| Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
