International Conference on Software Engineering, NIER track (ICSE'24)
• DOI
← SmartBugs: a framework to analyze solidity smart contracts