TY  - RPRT
TI  - Formal Process Virtual Machine for Smart Contracts Verification
AU  - Zheng Yang
AU  - Hang Lei
PY  - 2018
DO  - 10.23940/ijpe.18.08.p9.17261734
UR  - https://arxiv.org/abs/1805.00808
ID  - 1805.00808
ER  -