A formal verification approach for composite smart contracts security using FSM[J] JOURNAL OF KING SAUD UNIVERSITY-COMPUTER AND INFORMATION SCIENCES 2023(35) Almakhour, Mouhamad Sliman, Layth Samhat, Abed Ellatif Mellouk, Abdelhamid
Verification of smart contracts: A survey[J] PERVASIVE AND MOBILE COMPUTING 2020(67) Almakhour, Mouhamad Sliman, Layth Samhat, Abed Ellatif Mellouk, Abdelhamid
