%0 Journal Article %1 journals/ijait/DenneyFS06 %A Denney, Ewen %A Fischer, Bernd %A Schumann, Johann %D 2006 %J Int. J. Artif. Intell. Tools %K dblp %N 1 %P 81-108 %T An Empirical Evaluation of Automated Theorem Provers in Software Certification. %U http://dblp.uni-trier.de/db/journals/ijait/ijait15.html#DenneyFS06 %V 15

@article{journals/ijait/DenneyFS06, added-at = {2020-05-12T00:00:00.000+0200}, author = {Denney, Ewen and Fischer, Bernd and Schumann, Johann}, biburl = {https://www.bibsonomy.org/bibtex/2fdb1c19df125a244876c4e1148a68533/dblp}, ee = {https://www.wikidata.org/entity/Q56020737}, interhash = {2b0c73a6d2cc7e7047968431cbfb5882}, intrahash = {fdb1c19df125a244876c4e1148a68533}, journal = {Int. J. Artif. Intell. Tools}, keywords = {dblp}, number = 1, pages = {81-108}, timestamp = {2020-05-13T12:02:49.000+0200}, title = {An Empirical Evaluation of Automated Theorem Provers in Software Certification.}, url = {http://dblp.uni-trier.de/db/journals/ijait/ijait15.html#DenneyFS06}, volume = 15, year = 2006 }