1
Research on improved symbolic execution for smart contract vulnerability detection
面向智能合约漏洞检测的改进符号执行研究
No. 7, 2021 : 1943-1946
doi:10.19734/j.issn.1001-3695.2020.10.0353