By kushti
2 points, 0 comments
Read more here: http://blog.acolyer.org/2015/10/15/ironfleet-proving-practical-distributed-systems-correc/
2 – IronFleet: Proving Practical Distributed Systems Correct
By kushti
2 points, 0 comments
Read more here: http://blog.acolyer.org/2015/10/15/ironfleet-proving-practical-distributed-systems-correc/
No comments:
Post a Comment