TY  - RPRT
TI  - Smart Contract Design Meets State Machine Synthesis: Case Studies
AU  - Dmitrii Suvorov
AU  - Vladimir Ulyantsev
PY  - 2019
UR  - https://arxiv.org/abs/1906.02906
ID  - 1906.02906
ER  -