@misc{indiciae3270a77ec8ce,
  title = {SolidityCheck : Quickly Detecting Smart Contract Problems Through Regular Expressions},
  author = {Pengcheng Zhang and Feng Xiao and Xiapu Luo},
  year = {2019},
  url = {https://arxiv.org/abs/1911.09425},
  note = {Source identifier: 1911.09425}
}