conference paper

Verifying a File System Implementation

Arkoudas, Konstantine
•
Zee, Karen
•
Kuncak, Viktor  orcid-logo
Show more
2004
Sixth International Conference on Formal Engineering Methods
Type
conference paper
Author(s)
Arkoudas, Konstantine
Zee, Karen
Kuncak, Viktor  orcid-logo
Rinard, Martin
Date Issued

2004

Published in
Sixth International Conference on Formal Engineering Methods
Note

See also technical report http://infoscience.epfl.ch/search.py?recid=110223&ln=en

Written at

OTHER

EPFL units
LARA  
Available on Infoscience
August 21, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/10376