DMCA

A Mini-Challenge: Build a Verifiable Filesystem

by Rajeev Joshi , Gerard J. Holzmann
Venue:Formal Aspects of Computing
Citations:30 - 5 self