Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Dafny: A Language and Program Verifier for Functional Correctness
research.microsoft.com
56 points
kushti
10 years ago
10 comments
Loading...
Dafny: A Language and Program Verifier for Functional Correctness | Heykuki News