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
Loading...
Thumbnail Image
Name

ArkoudasETAL04VerifyingFileSystemImplementationICFEM.pdf

Access type

openaccess

Size

222.14 KB

Format

Adobe PDF

Checksum (MD5)

ccfe8254d1155c2fd2ad5c6d099ce80d