Formal verification of floating point trigonometric functions (2000)

by J Harrison
Venue:Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design