A mechanically checked proof of the AMD5K86TM floating-point division program

✍ Scribed by Moore, J.S.; Lynch, T.W.; Kaufmann, M.

• Book ID: 119772874
• Publisher: IEEE
• Year: 1998
• Tongue: English
• Weight: 514 KB
• Volume: 47
• Category: Article
• ISSN: 0018-9340
• DOI: 10.1109/12.713311