TY  - RPRT
TI  - Checking Smart Contracts with Structural Code Embedding
AU  - Zhipeng Gao
AU  - Lingxiao Jiang
AU  - Xin Xia
AU  - David Lo
AU  - John Grundy
PY  - 2020
DO  - 10.1109/tse.2020.2971482
UR  - https://arxiv.org/abs/2001.07125
ID  - 2001.07125
ER  -