%0 Conference Paper %1 conf/snapl/WilcoxST17 %A Wilcox, James R. %A Sergey, Ilya %A Tatlock, Zachary %B SNAPL %D 2017 %E Lerner, Benjamin S. %E Bodík, Rastislav %E Krishnamurthi, Shriram %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 19:1-19:12 %T Programming Language Abstractions for Modularly Verified Distributed Systems. %U http://dblp.uni-trier.de/db/conf/snapl/snapl2017.html#WilcoxST17 %V 71 %@ 978-3-95977-032-3

@inproceedings{conf/snapl/WilcoxST17, added-at = {2023-02-12T00:00:00.000+0100}, author = {Wilcox, James R. and Sergey, Ilya and Tatlock, Zachary}, biburl = {https://www.bibsonomy.org/bibtex/2ed40eefdae5ca95abed29c47df54fd87/dblp}, booktitle = {SNAPL}, crossref = {conf/snapl/2017}, editor = {Lerner, Benjamin S. and Bodík, Rastislav and Krishnamurthi, Shriram}, ee = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.19}, interhash = {75d3c54edef99e7ceb1af0e04920a5cc}, intrahash = {ed40eefdae5ca95abed29c47df54fd87}, isbn = {978-3-95977-032-3}, keywords = {dblp}, pages = {19:1-19:12}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T11:38:50.000+0200}, title = {Programming Language Abstractions for Modularly Verified Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/snapl/snapl2017.html#WilcoxST17}, volume = 71, year = 2017 }