Co-Design and Verification of an Available File System

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