Ewen Denney, Bernd Fischer
Generating customized verifiers for automatically generated code
GPCE, 2008.
@inproceedings{GPCE-2008-DenneyF, author = "Ewen Denney and Bernd Fischer", booktitle = "{Proceedings of the Seventh International Conference on Generative Programming and Component Engineering}", doi = "10.1145/1449913.1449926", isbn = "978-1-60558-267-2", pages = "77--88", publisher = "{ACM}", title = "{Generating customized verifiers for automatically generated code}", year = 2008, }