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