Towards a Uniform Description Language for Smart Contract[C] 2021 IEEE 30TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE 2021) 2021 Souei, Wafa Ben Slama El Hog, Chiraz Sliman, Layth Ben Djemaa, Raoudha Ben Amor, Ikram Amous
Verification of smart contracts: A survey[J] PERVASIVE AND MOBILE COMPUTING 2020(67) Almakhour, Mouhamad Sliman, Layth Samhat, Abed Ellatif Mellouk, Abdelhamid
