Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos
Modularity for decidability of deductive verification with applications to distributed systems
PLDI, 2018.
@inproceedings{PLDI-2018-TaubeLMPSSWW,
author = "Marcelo Taube and Giuliano Losa and Kenneth L. McMillan and Oded Padon and Mooly Sagiv and Sharon Shoham and James R. Wilcox and Doug Woos",
booktitle = "{Proceedings of the 39th Conference on Programming Language Design and Implementation}",
doi = "10.1145/3192366.3192414",
pages = "662--677",
publisher = "{ACM}",
title = "{Modularity for decidability of deductive verification with applications to distributed systems}",
year = 2018,
}