TY  - RPRT
TI  - Multi: a Formal Playground for Multi-Smart Contract Interaction
AU  - Martán Ceresa
AU  - César Sánchez
PY  - 2022
UR  - https://arxiv.org/abs/2207.06681
ID  - 2207.06681
ER  -