Verifying a file system implementation (2004)

by Konstantine Arkoudas , Karen Zee , Viktor Kuncak , Martin Rinard
Venue:In Sixth International Conference on Formal Engineering Methods (ICFEM’04), volume 3308 of LNCS
Citations:35 - 15 self