Asma Lahbib, Abderrahim Ait Wakrime, Anis Laouiti, Khalifa Toumi, Steven Martin 0001. An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts. In Leonard Barolli, Flora Amato, Francesco Moscato 0001, Tomoya Enokido, Makoto Takizawa 0001, editors, Advanced Information Networking and Applications - Proceedings of the 34th International Conference on Advanced Information Networking and Applications, AINA-2020, Caserta, Italy, 15-17 April [canceled because of the COVID-19 crisis]. Volume 1151 of Advances in Intelligent Systems and Computing, pages 1303-1318, Springer, 2020. [doi]
Abstract is missing.