DMCA

Using Crash Hoare Logic for Certifying the FSCQ File System

by Haogang Chen , Daniel Ziegler , Tej Chajed , Adam Chlipala , M. Frans Kaashoek , Nickolai Zeldovich
Citations:3 - 0 self