Sciweavers

PLDI
2010
ACM

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

13 years 7 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)