Formal verification of floating point trigonometric functions (2000)

by J Harrison
Venue:in 3rd International Conference on Formal Methods in Computer-Aided Design