TY  - RPRT
TI  - Building Executable Secure Design Models for Smart Contracts with Formal Methods
AU  - Weifeng Xu
AU  - Glenn A. Fink
PY  - 2019
UR  - https://arxiv.org/abs/1912.04051
ID  - 1912.04051
ER  -