%0 Conference Paper %1 conf/isola/DenneyF06 %A Denney, Ewen %A Fischer, Bernd %B ISoLA %D 2006 %I IEEE Computer Society %K %P 138-145 %T Extending Source Code Generators for Evidence-Based Software Certification. %U http://dblp.uni-trier.de/db/conf/isola/isola2006.html#DenneyF06 %@ 978-0-7695-3071-0

@inproceedings{conf/isola/DenneyF06, added-at = {2023-12-13T05:15:21.000+0100}, author = {Denney, Ewen and Fischer, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/244cc9dec26de3e2c7e89660d86580b70/admin}, booktitle = {ISoLA}, crossref = {conf/isola/2006}, ee = {https://www.wikidata.org/entity/Q57658826}, interhash = {a05cb832f4b81e709f70bbb4dedb365e}, intrahash = {44cc9dec26de3e2c7e89660d86580b70}, isbn = {978-0-7695-3071-0}, keywords = {}, pages = {138-145}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T05:15:21.000+0100}, title = {Extending Source Code Generators for Evidence-Based Software Certification.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2006.html#DenneyF06}, year = 2006 }