An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts.

Asma Lahbib, Abderrahim Ait Wakrime, Anis Laouiti, Khalifa Toumi, Steven Martin

Browse the full AINA paper archive.