%0 Journal Article %1 journals/spe/LuWZSE21 %A Lu, Ning %A Wang, Bin %A Zhang, Yongxin %A Shi, Wenbo %A Esposito, Christian %D 2021 %J Softw. Pract. Exp. %K dblp %N 10 %P 2065-2084 %T NeuCheck: A more practical Ethereum smart contract security analysis tool. %U http://dblp.uni-trier.de/db/journals/spe/spe51.html#LuWZSE21 %V 51

@article{journals/spe/LuWZSE21, added-at = {2022-08-17T00:00:00.000+0200}, author = {Lu, Ning and Wang, Bin and Zhang, Yongxin and Shi, Wenbo and Esposito, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2754202c76b0915b4fedf4d892ce00841/dblp}, ee = {https://doi.org/10.1002/spe.2745}, interhash = {dfb69e2f33dd79c9c1c80a389dc12f13}, intrahash = {754202c76b0915b4fedf4d892ce00841}, journal = {Softw. Pract. Exp.}, keywords = {dblp}, number = 10, pages = {2065-2084}, timestamp = {2024-04-09T06:39:57.000+0200}, title = {NeuCheck: A more practical Ethereum smart contract security analysis tool.}, url = {http://dblp.uni-trier.de/db/journals/spe/spe51.html#LuWZSE21}, volume = 51, year = 2021 }