Proceedings of the 3rd International Conference on Formal Methods in Computer-Aided Design, FMCAD 2000. Springer LNCS 1954, pp. 217-233, 2000.
@INPROCEEDINGS{harrison-fmcad2000, author = "John Harrison", crossref = "fmcad00", title = "Formal verification of floating point trigonometric functions", pages = "217--233"} @PROCEEDINGS{fmcad00, booktitle = "Formal Methods in Computer-Aided Design: Third International Conference {FMCAD} 2000", editor = "Warren A. Hunt and Steven D. Johnson", publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", volume = 1954, year = 2000}