Adam J. Chlipala. Modular development of certified program verifiers with a proof assistant. In John H. Reppy, Julia L. Lawall, editors, Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006. pages 160-171, ACM, 2006. [doi]
Abstract is missing.