%0 Journal Article %1 journals/cacm/ChajedCCKZZ17 %A Chajed, Tej %A Chen, Haogang %A Chlipala, Adam %A Kaashoek, M. Frans %A Zeldovich, Nickolai %A Ziegler, Daniel %D 2017 %J Commun. ACM %K dblp %N 4 %P 75-84 %T Certifying a file system using crash hoare logic: correctness in the presence of crashes. %U http://dblp.uni-trier.de/db/journals/cacm/cacm60.html#ChajedCCKZZ17 %V 60

@article{journals/cacm/ChajedCCKZZ17, added-at = {2019-08-30T00:00:00.000+0200}, author = {Chajed, Tej and Chen, Haogang and Chlipala, Adam and Kaashoek, M. Frans and Zeldovich, Nickolai and Ziegler, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2723d3855ed1e9a10582f2a8c2e832ac3/dblp}, ee = {https://doi.org/10.1145/3051092}, interhash = {73e49fe5a4aa8cd6d217fe9b29ad5476}, intrahash = {723d3855ed1e9a10582f2a8c2e832ac3}, journal = {Commun. ACM}, keywords = {dblp}, number = 4, pages = {75-84}, timestamp = {2019-08-31T11:40:15.000+0200}, title = {Certifying a file system using crash hoare logic: correctness in the presence of crashes.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm60.html#ChajedCCKZZ17}, volume = 60, year = 2017 }