%0 Conference Paper %1 conf/pldi/TaubeLMPSSWW18 %A Taube, Marcelo %A Losa, Giuliano %A McMillan, Kenneth L. %A Padon, Oded %A Sagiv, Mooly %A Shoham, Sharon %A Wilcox, James R. %A Woos, Doug %B PLDI %D 2018 %E Foster, Jeffrey S. %E Grossman, Dan %I ACM %K dblp %P 662-677 %T Modularity for decidability of deductive verification with applications to distributed systems. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2018.html#TaubeLMPSSWW18 %@ 978-1-4503-5698-5

@inproceedings{conf/pldi/TaubeLMPSSWW18, added-at = {2021-06-23T00:00:00.000+0200}, author = {Taube, Marcelo and Losa, Giuliano and McMillan, Kenneth L. and Padon, Oded and Sagiv, Mooly and Shoham, Sharon and Wilcox, James R. and Woos, Doug}, biburl = {https://www.bibsonomy.org/bibtex/21166ca9f7f8d2c1d86f63279540e4a64/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2018}, editor = {Foster, Jeffrey S. and Grossman, Dan}, ee = {https://doi.org/10.1145/3296979.3192414}, interhash = {4246f19c7dbe60e88c1a6ee8bc9edc57}, intrahash = {1166ca9f7f8d2c1d86f63279540e4a64}, isbn = {978-1-4503-5698-5}, keywords = {dblp}, pages = {662-677}, publisher = {ACM}, timestamp = {2024-04-09T18:59:54.000+0200}, title = {Modularity for decidability of deductive verification with applications to distributed systems.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2018.html#TaubeLMPSSWW18}, year = 2018 }