%0 Conference Paper %1 conf/aina/LahbibWLT020 %A Lahbib, Asma %A Wakrime, Abderrahim Ait %A Laouiti, Anis %A Toumi, Khalifa %A Martin, Steven %B AINA %D 2020 %E Barolli, Leonard %E Amato, Flora %E Moscato, Francesco %E Enokido, Tomoya %E Takizawa, Makoto %I Springer %K dblp %P 1303-1318 %T An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts. %U http://dblp.uni-trier.de/db/conf/aina/aina2020.html#LahbibWLT020 %V 1151 %@ 978-3-030-44041-1

@inproceedings{conf/aina/LahbibWLT020, added-at = {2020-03-31T00:00:00.000+0200}, author = {Lahbib, Asma and Wakrime, Abderrahim Ait and Laouiti, Anis and Toumi, Khalifa and Martin, Steven}, biburl = {https://www.bibsonomy.org/bibtex/2aef96bab0fb9aa3db7202ab7eb784422/dblp}, booktitle = {AINA}, crossref = {conf/aina/2020}, editor = {Barolli, Leonard and Amato, Flora and Moscato, Francesco and Enokido, Tomoya and Takizawa, Makoto}, ee = {https://doi.org/10.1007/978-3-030-44041-1_111}, interhash = {c349306ee56860487d6bff521663e2b3}, intrahash = {aef96bab0fb9aa3db7202ab7eb784422}, isbn = {978-3-030-44041-1}, keywords = {dblp}, pages = {1303-1318}, publisher = {Springer}, series = {Advances in Intelligent Systems and Computing}, timestamp = {2024-04-10T00:20:46.000+0200}, title = {An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts.}, url = {http://dblp.uni-trier.de/db/conf/aina/aina2020.html#LahbibWLT020}, volume = 1151, year = 2020 }