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