TY  - RPRT
TI  - A Survey of Smart Contract Formal Specification and Verification
AU  - Palina Tolmach
AU  - Yi Li
AU  - Shang-Wei Lin
AU  - Yang Liu
AU  - Zengxiang Li
PY  - 2021
UR  - https://arxiv.org/abs/2008.02712
ID  - 2008.02712
ER  -