Cited in
(16)- Metamath Zero: designing a theorem prover prover
- Toolchain
- ModuRes
- TweetNaCl
- Vellvm
- libclang
- AUTO2
- Charge!
- CSimpl
- Bedrock
- Knuth Morris Pratt
- Auto2_Imperative_HOL
- IEEE_Floating_Point
- scientific article; zbMATH DE number 7649971 (Why is no real title available?)
- Abstraction and subsumption in modular verification of C programs
- Trace-relating compiler correctness and secure compilation
This page was built for software: VST-Floyd
