TY  - RPRT
TI  - Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts
AU  - Anastasia Mavridou
AU  - Aron Laszka
PY  - 2018
UR  - https://arxiv.org/abs/1802.09949
ID  - 1802.09949
ER  -