Code cloning in smart contracts: a case study on verified contracts from the Ethereum blockchain platform[J] EMPIRICAL SOFTWARE ENGINEERING 2020(25) Kondo, Masanari Oliva, Gustavo A. Jiang, Zhen Ming (Jack) Hassan, Ahmed E. Mizuno, Osamu