report
On Verifying a File System Implementation
2004
Type
report
Author(s)
Date Issued
2004
Note
MIT CSAIL report number 946 See also conference version http://infoscience.epfl.ch/search.py?recid=110229&ln=en
Written at
OTHER
EPFL units
Available on Infoscience
August 21, 2007
Use this identifier to reference this record