Formal verification of floating-point arithmetic at Intel (2006) [pdf]http://www.cl.cam.ac.uk/~jrh13/slides/jnao-02jun06/slides.pdf by Chaebixi • 9 years ago 1 0 9 years agoCLcl.cam.ac.uk