@misc{indiciae9ff44efda9ea,
  title = {Compositional Verification of Smart Contracts Through Communication Abstraction (Extended)},
  author = {Scott Wesley and Maria Christakis and Jorge A. Navas and Richard Trefler and Valentin Wüstholz and Arie Gurfinkel},
  year = {2021},
  url = {https://arxiv.org/abs/2107.08583},
  note = {Source identifier: 2107.08583}
}