TY  - RPRT
TI  - Quantitative Analysis of Smart Contracts
AU  - Krishnendu Chatterjee
AU  - Amir Kafshdar Goharshady
AU  - Yaron Velner
PY  - 2018
UR  - https://arxiv.org/abs/1801.03367
ID  - 1801.03367
ER  -