Using Crash Hoare Logic for Certifying the FSCQ File System presented at SOSP 2015

by Nickolai Zeldovich, M. Frans Kaashoek, Adam Chlipala, Haogang Chen, Tej Chajed, Daniel Ziegler,

Summary : N/A