%0 Conference Paper %1 conf/safecomp/BasirDF08 %A Basir, Nurlida %A Denney, Ewen %A Fischer, Bernd %B SAFECOMP %D 2008 %E Harrison, Michael D. %E Sujan, Mark-Alexander %I Springer %K %P 249-262 %T Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2008.html#BasirDF08 %V 5219 %@ 978-3-540-87697-7

@inproceedings{conf/safecomp/BasirDF08, added-at = {2023-12-13T02:43:13.000+0100}, author = {Basir, Nurlida and Denney, Ewen and Fischer, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2adabb00513520eefda6973668cb0309c/admin}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2008}, editor = {Harrison, Michael D. and Sujan, Mark-Alexander}, ee = {https://www.wikidata.org/entity/Q57658821}, interhash = {82b4a094cb8fd61ba73ed9d27e0fed3a}, intrahash = {adabb00513520eefda6973668cb0309c}, isbn = {978-3-540-87697-7}, keywords = {}, pages = {249-262}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T02:43:13.000+0100}, title = {Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2008.html#BasirDF08}, volume = 5219, year = 2008 }