Verifying a File System Implementation.

Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard

Browse the full ICFEM paper archive.