Cited By
View all- Ranjan NShang ZKrishnan SElmore A(2021)Version Reconciliation for Collaborative DatabasesProceedings of the ACM Symposium on Cloud Computing10.1145/3472883.3486980(473-488)Online publication date: 1-Nov-2021
- Hoenicke JMajumdar RPodelski A(2017)Thread modularity at many levels: a pearl in compositional verificationACM SIGPLAN Notices10.1145/3093333.300989352:1(473-485)Online publication date: 1-Jan-2017
- Crary K(2017)Modules, abstraction, and parametric polymorphismACM SIGPLAN Notices10.1145/3093333.300989252:1(100-113)Online publication date: 1-Jan-2017
- Show More Cited By