The Home Page of J. Orlin Grabbe » Fstar: Secure Distributed Programming with Value-Dependent Types

Fstar: Secure Distributed Programming with Value-Dependent Types

Written by admin

Topics: link

http://research.microsoft.com/en-us/projects/fstar/

Bookmark and Share

Posted on 20 June 2011

Tags: distributed computing, p2p

Leave a Comment Here's Your Chance to Be Heard!

You must be logged in to post a comment.