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]
@inproceedings{KrichenLA22,
title = {Formal Methods for the Verification of Smart Contracts: A Review},
author = {Moez Krichen and Mariam Lahami and Qasem Abu Al-Haija},
year = {2022},
doi = {10.1109/SIN56466.2022.9970534},
url = {https://doi.org/10.1109/SIN56466.2022.9970534},
researchr = {https://researchr.org/publication/KrichenLA22},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {15th International Conference on Security of Information and Networks, SIN 2022, Sousse, Tunisia, November 11-13, 2022},
publisher = {IEEE},
isbn = {978-1-6654-5465-0},
}