Sciweavers

59
Voted
PLDI
2010
ACM

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System

15 years 1 months ago
Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System
Jean Yang, Chris Hawblitzel
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 2010
Where PLDI
Authors Jean Yang, Chris Hawblitzel
Comments (0)