Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk. On the Verification of Smart Contracts: A Systematic Review. In Zhixiong Chen, Laizhong Cui, Balaji Palanisamy, Liang-Jie Zhang, editors, Blockchain - ICBC 2020 - Third International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings. Volume 12404 of Lecture Notes in Computer Science, pages 94-107, Springer, 2020. [doi]
Abstract is missing.