Formal verification of floating-point arithmetic at Intel (2006) [pdf]cl.cam.ac.uk1 point·Chaebixi··0 commentsOpen articleSaveView on HN