TY - RPRT TI - SolidityCheck : Quickly Detecting Smart Contract Problems Through Regular Expressions AU - Pengcheng Zhang AU - Feng Xiao AU - Xiapu Luo PY - 2019 UR - https://arxiv.org/abs/1911.09425 ID - 1911.09425 ER -