TY  - RPRT
TI  - A mini grand challenge: build a verifiable filesystem
AU  - Rajeev, Joshi
AU  - Holzmann, Gerard J.
PY  - 2005
UR  - https://ntrs.nasa.gov/citations/20060042819
ID  - 20060042819
ER  -