A survey on automation approaches of smart contract generation[J] JOURNAL OF SUPERCOMPUTING Mars, Rawya Cheikhrouhou, Saoussen Kallel, Slim Hadj Kacem, Ahmed
