TY  - RPRT
TI  - Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
AU  - Anastasia Mavridou
AU  - Aron Laszka
PY  - 2017
UR  - https://arxiv.org/abs/1711.09327
ID  - 1711.09327
ER  -