×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [instruction jean yang44safe]
Home >
instruction jean yang44safe
Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System Jean Yang MIT CSAIL Chris Hawblitzel Microsoft Research.
215 views
Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System
29 views