Saturday, May 13, 2017

Dafny: A Language and Program Verifier for Functional Correctness

http://ift.tt/pEWpXH

Submitted May 13, 2017 at 05:27PM by redditthinks http://ift.tt/2rcD9Dg Check me out at http://ift.tt/1RyFBcs !
Posted by at
Labels: , , , ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)