Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Verdi – Formally Verifying Distributed Systems (2016)
(verdi.uwplse.org)
166 points
mindcrime
9 years ago
32 comments