Sciweavers

49
Voted
SP
2010
IEEE

A Proof-Carrying File System

15 years 25 days 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)