Review of Automated Vulnerability Analysis of Smart Contracts on Ethereum[J] FRONTIERS IN BLOCKCHAIN 2022(5) Rameder, Heidelinde di Angelo, Monika Salzer, Gernot
