Formal verification of square root algorithms (2003)

Cached

Download Links

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