Bor-Yuh Evan Chang, Adam J. Chlipala, George C. Necula, Robert R. Schneck. The open verifier framework for foundational verifiers. In J. Gregory Morrisett, Manuel Fähndrich, editors, Proceedings of TLDI 05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005. pages 1-12, ACM, 2005. [doi]
Abstract is missing.