Experiences with Formal Specifications of Fault-Tolerant File Systems Roxana Geambasu(University of Washington) Andrew Birrell(Microsoft Research) John.
Experiences with Formal Specifications of Fault-Tolerant File Systems