IronFleet: Proving Practical Distributed Systems Correct [pdf]
andrew.cmu.edu

・

1 point

・

todsacerdoti

・

11 hours ago

0 comments