Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
A shallow survey of formal methods for C code | Heykuki News
A shallow survey of formal methods for C code
imperialviolet.org
128 points
zdw
12 years ago
16 comments
Loading...