A Decade Verifying LLVM, or How to Retrofit Soundness in Industrial Software (youtube.com) 2 points by obl 3y ago ↗ HN
0 comments
[ 2.9 ms ] story [ 15.3 ms ] threadNo comments yet.