%0 Journal Article %1 journals/tc/MooreLK98 %A Moore, J Strother %A Lynch, Thomas W. %A Kaufmann, Matt %D 1998 %J IEEE Trans. Computers %K dblp %N 9 %P 913-926 %T A Mechanically Checked Proof of the AMD5K86TM Floating Point Division Program. %U http://dblp.uni-trier.de/db/journals/tc/tc47.html#MooreLK98 %V 47

@article{journals/tc/MooreLK98, added-at = {2023-06-19T00:00:00.000+0200}, author = {Moore, J Strother and Lynch, Thomas W. and Kaufmann, Matt}, biburl = {https://www.bibsonomy.org/bibtex/29919d125431f17e5e6ce573eacd29af6/dblp}, ee = {https://www.wikidata.org/entity/Q55967722}, interhash = {c441daddbdc6d0f0a66f6f2cf0b272a1}, intrahash = {9919d125431f17e5e6ce573eacd29af6}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 9, pages = {913-926}, timestamp = {2024-04-08T18:29:33.000+0200}, title = {A Mechanically Checked Proof of the AMD5K86TM Floating Point Division Program.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc47.html#MooreLK98}, volume = 47, year = 1998 }