Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Automated Verification of a Type-Safe Operating System [pdf]
microsoft.com
122 points
muraiki
9 years ago
31 comments
Loading...
Automated Verification of a Type-Safe Operating System [pdf] | Heykuki News