%0 Conference Paper %1 conf/gpce/DenneyF08 %A Denney, Ewen %A Fischer, Bernd %B GPCE %D 2008 %E Smaragdakis, Yannis %E Siek, Jeremy G. %I ACM %K %P 77-88 %T Generating customized verifiers for automatically generated code. %U http://dblp.uni-trier.de/db/conf/gpce/gpce2008.html#DenneyF08 %@ 978-1-60558-267-2

@inproceedings{conf/gpce/DenneyF08, added-at = {2023-12-12T22:21:55.000+0100}, author = {Denney, Ewen and Fischer, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/22cbd8870b7bf68f39ba88fa00404742a/admin}, booktitle = {GPCE}, crossref = {conf/gpce/2008}, editor = {Smaragdakis, Yannis and Siek, Jeremy G.}, ee = {https://www.wikidata.org/entity/Q57658824}, interhash = {499340f49be66b12a88bb368346a2659}, intrahash = {2cbd8870b7bf68f39ba88fa00404742a}, isbn = {978-1-60558-267-2}, keywords = {}, pages = {77-88}, publisher = {ACM}, timestamp = {2023-12-12T22:21:55.000+0100}, title = {Generating customized verifiers for automatically generated code.}, url = {http://dblp.uni-trier.de/db/conf/gpce/gpce2008.html#DenneyF08}, year = 2008 }