Re:IronFleet: Proving Practical Distributed Systems Correct ...
by domsj on Monday October 19, 2015 @07:33AM
(#10412232)
There's a blog post discussing the paper available at http://blog.acolyer.org/2015/10/15/ironfleet-proving-practic...
[ Parent
| on HN ]
There are no comments on this comment yet.