%0 Conference Paper %1 conf/kbse/DenneyF09 %A Denney, Ewen %A Fischer, Bernd %B ASE %D 2009 %I IEEE Computer Society %K %P 560-564 %T A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. %U http://dblp.uni-trier.de/db/conf/kbse/ase2009.html#DenneyF09 %@ 978-0-7695-3891-4

@inproceedings{conf/kbse/DenneyF09, added-at = {2023-12-13T07:01:12.000+0100}, author = {Denney, Ewen and Fischer, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/21dfe415bf773483cd8428f3f48a9b311/admin}, booktitle = {ASE}, crossref = {conf/kbse/2009}, ee = {https://www.wikidata.org/entity/Q57658812}, interhash = {b45f46a2315eb82eb1e242e38aa1571f}, intrahash = {1dfe415bf773483cd8428f3f48a9b311}, isbn = {978-0-7695-3891-4}, keywords = {}, pages = {560-564}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T07:01:12.000+0100}, title = {A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2009.html#DenneyF09}, year = 2009 }