×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [instruction jean yang3]
Home >
instruction jean yang3
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