Co-Design and Verification of an Available File System

Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster
January 2018
Cite DOI URL
Type
1
Publication
19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018)