NASA NTRS · 20060042819
A mini grand challenge: build a verifiable filesystem
Abstract
The source did not provide an abstract. Follow the original record for more information.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Rajeev, Joshi, Holzmann, Gerard J.. 2005-10-01. A mini grand challenge: build a verifiable filesystem. https://ntrs.nasa.gov/citations/20060042819
Cite the original work for its findings. Save a collection to share your selection of sources.