Interfacing Compilers, Proof Checkers, and Proofs for Foundational Proof-Carrying Code (2005)

by Dinghao Wu
Citations:3 - 0 self