Verifying a File System Implementation

conference paper

Arkoudas, Konstantine

•

Zee, Karen

•

2004

Sixth International Conference on Formal Engineering Methods

Name

ArkoudasETAL04VerifyingFileSystemImplementationICFEM.pdf

Access type

openaccess

Size

222.14 KB

Format

Adobe PDF

Checksum (MD5)

ccfe8254d1155c2fd2ad5c6d099ce80d