1. NeuCheck: A more practical Ethereum smart contract security analysis tool. (28th August 2019) Authors: Lu, Ning; Wang, Bin; Zhang, Yongxin; Shi, Wenbo; Esposito, Christian Other Names: Zheng Zibin guestEditor.; Wang Shangguang guestEditor.; Calheiros Rodrigo N. guestEditor. Journal: Software, practice & experience Issue: Volume 51:Number 10(2021) Page Start: 2065 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗