A Mechanically Checked Proof of Correctness of the AMD K5 Floating Point Square Root Microcode

✍ Scribed by David M. Russinoff

• Book ID: 110266005
• Publisher: Springer
• Year: 1999
• Tongue: English
• Weight: 195 KB
• Volume: 14
• Category: Article
• ISSN: 0925-9856
• DOI: 10.1023/a:1008669628911