@misc{indiciaed38d9a4cfe2a,
  title = {Checking Smart Contracts with Structural Code Embedding},
  author = {Zhipeng Gao and Lingxiao Jiang and Xin Xia and David Lo and John Grundy},
  year = {2020},
  doi = {10.1109/tse.2020.2971482},
  url = {https://arxiv.org/abs/2001.07125},
  note = {Source identifier: 2001.07125}
}