Sunday, October 9, 2016

Formally Verified Algorithms Implemented in Dafny

http://ift.tt/2d5vZJE

Submitted October 09, 2016 at 07:03PM by digitalice http://ift.tt/2dYlez6 Check me out at http://ift.tt/1RyFBcs !
Posted by at
Labels: , , , ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)