1. Smart contract templates: legal semantics and code validation;Christopher;Journal of Digital Banking,2018
2. Smart Contracts: a Killer Application for Deductive Source Code Verification;Ahrendt,2018
3. Smart contract development: challenges and opportunities;Zou;IEEE Trans. Software Eng.,2021
4. Supporting reuse of smart contracts through service orientation and assisted development;Guida,2019
5. Code cloning in smart contracts: a case study on verified contracts from the ethereum blockchain platform;Kondo;Empir. Software Eng.,2020