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]
@inproceedings{DenneyF05,
title = {Certifiable Program Generation},
author = {Ewen Denney and Bernd Fischer},
year = {2005},
doi = {10.1007/11561347_3},
url = {http://dx.doi.org/10.1007/11561347_3},
researchr = {https://researchr.org/publication/DenneyF05},
cites = {0},
citedby = {0},
pages = {17-28},
booktitle = {Generative Programming and Component Engineering, 4th International Conference, GPCE 2005},
editor = {Robert Glück and Michael R. Lowry},
volume = {3676},
series = {Lecture Notes in Computer Science},
address = {Tallinn, Estonia},
publisher = {Springer},
isbn = {3-540-29138-5},
}