Verifying a File System Implementation
2004
Fichiers
Détails
Titre
Verifying a File System Implementation
Auteur(s)
Arkoudas, Konstantine ; Zee, Karen ; Kuncak, Viktor ; Rinard, Martin
Publié dans
Sixth International Conference on Formal Engineering Methods
Date
2004
Note
See also technical report https://infoscience.epfl.ch/search.py?recid=110223&ln=en
Laboratoires
LARA
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > LARA - Laboratoire d'analyse et de raisonnement automatisés
Travail hors EPFL
Papiers de conférence
Publié
Travail hors EPFL
Papiers de conférence
Publié
Date de création de la notice
2007-08-21