Specifying crash safety for storage systems. (2015)

by H Chen, D Ziegler, A Chlipala, M F Kaashoek, E Kohler, N Zeldovich
Venue:In 15th Workshop on Hot Topics in Operating Systems,