TY  - RPRT
TI  - A minimal core calculus for Solidity contracts
AU  - Massimo Bartoletti
AU  - Letterio Galletta
AU  - Maurizio Murgia
PY  - 2019
UR  - https://arxiv.org/abs/1908.02709
ID  - 1908.02709
ER  -