The open verifier framework for foundational verifiers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Bor-Yuh Evan Chang' in GoogleIdentified as Adam J. Chlipala This author has not been identified. Look up 'George C. Necula' in GoogleThis author has not been identified. Look up 'Robert R. Schneck' in Google

runs on WebDSL