%0 Conference Paper %1 conf/hase/DenneyFS04 %A Denney, Ewen %A Fischer, Bernd %A Schumann, Johann %B HASE %D 2004 %I IEEE Computer Society %K %P 297-299 %T Adding Assurance to Automatically Generated Code. %U http://dblp.uni-trier.de/db/conf/hase/hase2004.html#DenneyFS04 %@ 0-7695-2094-4

@inproceedings{conf/hase/DenneyFS04, added-at = {2023-12-13T04:08:30.000+0100}, author = {Denney, Ewen and Fischer, Bernd and Schumann, Johann}, biburl = {https://www.bibsonomy.org/bibtex/2aaf245ed50c6f2db6e3532d4c94b2371/admin}, booktitle = {HASE}, crossref = {conf/hase/2004}, ee = {http://doi.ieeecomputersociety.org/10.1109/HASE.2004.1281768}, interhash = {926c1d9b492ad6683fd838761f3716f0}, intrahash = {aaf245ed50c6f2db6e3532d4c94b2371}, isbn = {0-7695-2094-4}, keywords = {}, pages = {297-299}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T04:08:30.000+0100}, title = {Adding Assurance to Automatically Generated Code.}, url = {http://dblp.uni-trier.de/db/conf/hase/hase2004.html#DenneyFS04}, year = 2004 }