TY  - RPRT
TI  - VeriSolid: Correct-by-Design Smart Contracts for Ethereum
AU  - Anastasia Mavridou
AU  - Aron Laszka
AU  - Emmanouela Stachtiari
AU  - Abhishek Dubey
PY  - 2019
UR  - https://arxiv.org/abs/1901.01292
ID  - 1901.01292
ER  -