First Page | Document Content | |
---|---|---|
Date: 2017-04-30 08:16:26 | Programming Language Abstractions for Modularly Verified Distributed Systems James R. Wilcox1 , Ilya Sergey2 , and Zachary Tatlock3 1 2 3Add to Reading ListSource URL: drops.dagstuhl.deDownload Document from Source WebsiteFile Size: 570,65 KBShare Document on Facebook |