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