Formal verification of floating-point arithmetic at Intel (2006) [pdf] (cl.cam.ac.uk) 1 points by Chaebixi 8y ago ↗ HN
0 comments
[ 3.5 ms ] story [ 8.1 ms ] threadNo comments yet.