Safe to the Last Instruction: Automated Verification of a Type-Safe OS (microsoft.com) 2 points by wkornewald 9y ago ↗ HN
0 comments
[ 3.6 ms ] story [ 9.8 ms ] threadNo comments yet.