Login / Signup
Formal Verification of Square Root Algorithms.
John Harrison
Published in:
Formal Methods Syst. Des. (2003)
Keyphrases
</>
square root
formal verification
model checking
machine learning
computer vision
image segmentation
computationally efficient
floating point