Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Formal Verification of Square Root Algorithms
Home
Publications
Formal Verification of Square Root Algorithms
Formal Verification of Square Root Algorithms
JH
John Harrison
John Harrison
Publisher Website
Google Scholar
Cite
Download
Share
Download
Download
Download PDF
Download
1 March 2003
journal article
Published by
Springer Science and Business Media LLC
in
Formal Methods in System Design
Vol. 22
(2)
,
143-153
https://doi.org/10.1023/a:1022973506233
Abstract
No abstract available
Keywords
FORMAL VERIFICATION
SQUARE ROOT ALGORITHMS
VERIFICATION OF SQUARE
Cited by 18 articles