IronFleet: Proving Practical Distributed Systems Correct [pdf]

(andrew.cmu.edu)

1 points | by todsacerdoti 9 hours ago ago

No comments yet.