Formal verification of square root algorithms (2003)

Cached

Download Links

by John Harrison
Venue:Formal Methods in Systems Design
Citations:9 - 1 self