Formal verification of square root algorithms (2003)

by J Harrison
Venue:Form. Methods Syst. Des