Sciweavers

SP
2010
IEEE

A Proof-Carrying File System

14 years 4 months ago
A Proof-Carrying File System
Deepak Garg, Frank Pfenning
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2010
Where SP
Authors Deepak Garg, Frank Pfenning
Comments (0)