Ewen Denney, Bernd Fischer. Certifiable Program Generation. In Robert Glück, Michael R. Lowry, editors, Generative Programming and Component Engineering, 4th International Conference, GPCE 2005. Volume 3676 of Lecture Notes in Computer Science, pages 17-28, Springer, Tallinn, Estonia, 2005. [doi]
Abstract is missing.