Back to Results
First PageMeta Content



Programming and Proving with Distributed Protocols ILYA SERGEY, University College London, UK JAMES R. WILCOX, University of Washington, USA ZACHARY TATLOCK, University of Washington, USA Distributed systems play a cruci
Add to Reading List

Document Date: 2017-11-17 18:47:23


Open Document

File Size: 2,09 MB

Share Result on Facebook
UPDATE