Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Formally Verified Software in the Real World (2018)
cacm.acm.org
186 points
icc97
7 years ago
17 comments
Loading...
Formally Verified Software in the Real World (2018) | Heykuki News