Saturday, June 18, 2016

Dafny: a verification-aware programming language

http://ift.tt/1r3OvK7

Submitted June 18, 2016 at 06:41PM by agumonkey http://ift.tt/1UD2Isr Check me out at http://ift.tt/1RyFBcs !
Posted by at
Labels: , , , ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)