Verification of smart contracts: A survey[J] PERVASIVE AND MOBILE COMPUTING 2020(67) Almakhour, Mouhamad Sliman, Layth Samhat, Abed Ellatif Mellouk, Abdelhamid
