TY  - RPRT
TI  - A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts
AU  - Zheng Yang
AU  - Hang Lei
AU  - Weizhong Qian
PY  - 2020
UR  - https://arxiv.org/abs/1902.08726
ID  - 1902.08726
ER  -