%0 Journal Article %1 journals/entcs/BasirDF09 %A Basir, Nurlida %A Denney, Ewen %A Fischer, Bernd %D 2009 %J Electron. Notes Theor. Comput. Sci. %K %N 4 %P 19-26 %T Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. %U http://dblp.uni-trier.de/db/journals/entcs/entcs238.html#BasirDF09 %V 238

@article{journals/entcs/BasirDF09, added-at = {2023-12-13T11:00:59.000+0100}, author = {Basir, Nurlida and Denney, Ewen and Fischer, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/23e812614bbfdf50276d6eb76375d77f2/admin}, ee = {https://www.wikidata.org/entity/Q57658815}, interhash = {dd0843d095f5dd98e7ff0c9bc5e5063c}, intrahash = {3e812614bbfdf50276d6eb76375d77f2}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, number = 4, pages = {19-26}, timestamp = {2023-12-13T11:00:59.000+0100}, title = {Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs238.html#BasirDF09}, volume = 238, year = 2009 }