%0 Conference Paper %1 conf/kbse/DenneyF06 %A Denney, Ewen %A Fischer, Bernd %B ASE %D 2006 %I IEEE Computer Society %K dblp %P 265-268 %T Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/kbse/ase2006.html#DenneyF06 %@ 0-7695-2579-2

@inproceedings{conf/kbse/DenneyF06, added-at = {2023-03-24T00:00:00.000+0100}, author = {Denney, Ewen and Fischer, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/205ab4c27385c845d6659022e018209f8/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2006}, ee = {https://www.wikidata.org/entity/Q57658828}, interhash = {5b1546c660de2df47e30311aaca7e162}, intrahash = {05ab4c27385c845d6659022e018209f8}, isbn = {0-7695-2579-2}, keywords = {dblp}, pages = {265-268}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:02:42.000+0200}, title = {Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2006.html#DenneyF06}, year = 2006 }