![](https://www.pdfsearch.io/img/88817f8fdac627ca7b956a66762af94d.jpg) Date: 2017-11-17 18:47:23
| | 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 cruciAdd to Reading ListSource URL: homes.cs.washington.eduDownload Document from Source Website File Size: 2,09 MBShare Document on Facebook
|