TY  - RPRT
TI  - Compositional Verification of Smart Contracts Through Communication Abstraction (Extended)
AU  - Scott Wesley
AU  - Maria Christakis
AU  - Jorge A. Navas
AU  - Richard Trefler
AU  - Valentin Wüstholz
AU  - Arie Gurfinkel
PY  - 2021
UR  - https://arxiv.org/abs/2107.08583
ID  - 2107.08583
ER  -