The Open Verifier Framework for Foundational Verifiers (2005)

by B Chang, A Chlipala, G Necula, R Schneck
Venue:In ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDIŠ05