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)

Add the full text or supplementary notes for the publication here using Markdown formatting.