Chajed, T., Chen, H., Chlipala, A., Kaashoek, M. F., Zeldovich, N., & Ziegler, D. (2017). Certifying a File System Using Crash Hoare Logic: Correctness in the Presence of Crashes. Communications of the ACM, 60(4), 75-85.
Successfully copied to clipboard
Copying to clipboard failed
Chicago Style (17th ed.) Citation
Chajed, Tej, Haogang Chen, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich, and Daniel Ziegler. "Certifying a File System Using Crash Hoare Logic: Correctness in the Presence of Crashes."
Communications of the ACM 60, no. 4 (2017): 75-85.
Successfully copied to clipboard
Copying to clipboard failed
MLA (9th ed.) Citation
Chajed, Tej, et al. "Certifying a File System Using Crash Hoare Logic: Correctness in the Presence of Crashes."
Communications of the ACM, vol. 60, no. 4, 2017, pp. 75-85.
Successfully copied to clipboard
Copying to clipboard failed
Warning: These citations may not always be 100% accurate.