DMCA

IronFleet: Proving Practical Distributed Systems Correct

Cached

Download Links

by Chris Hawblitzel , Jon Howell , Manos Kapritsos , Jacob R Lorch , Bryan Parno , Michael L Roberts , Srinath Setty , Brian Zill
Citations:2 - 0 self