%0 Conference Paper %1 conf/gpce/DenneyF06 %A Denney, Ewen %A Fischer, Bernd %B GPCE %D 2006 %E Jarzabek, Stan %E Schmidt, Douglas C. %E Veldhuizen, Todd L. %I ACM %K %P 121-130 %T A generic annotation inference algorithm for the safety certification of automatically generated code. %U http://dblp.uni-trier.de/db/conf/gpce/gpce2006.html#DenneyF06 %@ 1-59593-237-2

@inproceedings{conf/gpce/DenneyF06, added-at = {2023-12-13T01:57:38.000+0100}, author = {Denney, Ewen and Fischer, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2a13ac32f12615a6d37e41172819ae8b2/admin}, booktitle = {GPCE}, crossref = {conf/gpce/2006}, editor = {Jarzabek, Stan and Schmidt, Douglas C. and Veldhuizen, Todd L.}, ee = {https://www.wikidata.org/entity/Q57658827}, interhash = {78e373c6301ab0290edc706d02b65dc1}, intrahash = {a13ac32f12615a6d37e41172819ae8b2}, isbn = {1-59593-237-2}, keywords = {}, pages = {121-130}, publisher = {ACM}, timestamp = {2023-12-13T01:57:38.000+0100}, title = {A generic annotation inference algorithm for the safety certification of automatically generated code.}, url = {http://dblp.uni-trier.de/db/conf/gpce/gpce2006.html#DenneyF06}, year = 2006 }