Formal verification of square root algorithms (2003)

by J Harrison
Venue:Formal Methods in System Design 22 (2