Formal Verification of Floating Point Trigonometric Functions (2000)

Cached

Download Links

by John Harrison
Venue:Formal Methods in Computer-Aided Design: Third International Conference FMCAD 2000, volume 1954 of Lecture Notes in Computer Science
Citations:25 - 4 self