A Decade Verifying LLVM, or How to Retrofit Soundness in Industrial Software

No comments yet.