[Advances in Intelligent Systems and Computing] Advanced Information Networking and Applications Volume 1151 (Proceedings of the 34th International Conference on Advanced Information Networking and Applications (AINA-2020)) || An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts
Barolli, Leonard, Amato, Flora, Moscato, Francesco, Enokido, Tomoya, Takizawa, MakotoVolume:
10.1007/97
Year:
2020
Language:
english
DOI:
10.1007/978-3-030-44041-1_111
File:
PDF, 2.56 MB
english, 2020