Compiling Gallina to go for the FSCQ file system

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2017.

Bibliographic Details
Main Author: Ziegler, Daniel (Daniel M.)
Other Authors: Nickolai Zeldovich and M. Frans Kaashoek.
Format: Thesis
Language:eng
Published: Massachusetts Institute of Technology 2018
Subjects:
Online Access:http://hdl.handle.net/1721.1/113460