The Open Verifier framework for foundational verifiers (2005)

by Bor-yuh Evan , Chang Adam Chlipala , George C. Necula , Robert R. Schneck
Venue:In Proc. of the 2nd Workshop on Types in Language Design and Implementation
Citations:28 - 7 self