%0 Journal Article %1 journals/sttt/KaivolaK03 %A Kaivola, Roope %A Kohatsu, Katherine R. %D 2003 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 3 %P 323-334 %T Proof engineering in the large: formal verification of Pentium?4 floating-point divider. %U http://dblp.uni-trier.de/db/journals/sttt/sttt4.html#KaivolaK03 %V 4

@article{journals/sttt/KaivolaK03, added-at = {2020-04-02T00:00:00.000+0200}, author = {Kaivola, Roope and Kohatsu, Katherine R.}, biburl = {https://www.bibsonomy.org/bibtex/20af17fc7d8c7ba9174c6ef4fc3afabda/dblp}, ee = {https://doi.org/10.1007/s10009-002-0081-6}, interhash = {810c608d3a4dc327046acf6b596cc865}, intrahash = {0af17fc7d8c7ba9174c6ef4fc3afabda}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 3, pages = {323-334}, timestamp = {2020-04-03T11:54:56.000+0200}, title = {Proof engineering in the large: formal verification of Pentium?4 floating-point divider.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt4.html#KaivolaK03}, volume = 4, year = 2003 }