Moez Krichen, Mariam Lahami, Qasem Abu Al-Haija. Formal Methods for the Verification of Smart Contracts: A Review. In 15th International Conference on Security of Information and Networks, SIN 2022, Sousse, Tunisia, November 11-13, 2022. pages 1-8, IEEE, 2022. [doi]