Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
On Automatically Proving the Correctness of Math.h Implementations [pdf]
theory.stanford.edu
4 points
ingve
9 years ago
No comment yet
On Automatically Proving the Correctness of Math.h Implementations [pdf] | Heykuki News