%0 Conference Paper %1 conf/cade/DenneyFS04 %A Denney, Ewen %A Fischer, Bernd %A Schumann, Johann %B IJCAR %D 2004 %E Basin, David A. %E Rusinowitch, Michaël %I Springer %K %P 198-212 %T Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2004.html#DenneyFS04 %V 3097 %@ 3-540-22345-2

@inproceedings{conf/cade/DenneyFS04, added-at = {2023-12-13T04:07:13.000+0100}, author = {Denney, Ewen and Fischer, Bernd and Schumann, Johann}, biburl = {https://www.bibsonomy.org/bibtex/2ba7ecd9b2b354bff33ce5e780d31a6c5/admin}, booktitle = {IJCAR}, crossref = {conf/cade/2004}, editor = {Basin, David A. and Rusinowitch, Michaël}, ee = {https://doi.org/10.1007/978-3-540-25984-8_12}, interhash = {922cda470bab90881efd38ddde4ed1fb}, intrahash = {ba7ecd9b2b354bff33ce5e780d31a6c5}, isbn = {3-540-22345-2}, keywords = {}, pages = {198-212}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:07:13.000+0100}, title = {Using Automated Theorem Provers to Certify Auto-generated Aerospace Software.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2004.html#DenneyFS04}, volume = 3097, year = 2004 }