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
