Rim Ben Fekih, Mariem Lahami, Mohamed Jmaiel, Salma Bradai. Formal Modeling and Verification of ERC Smart Contracts: Application to NFT. In IEEE Symposium on Computers and Communications, ISCC 2023, Gammarth, Tunisia, July 9-12, 2023. pages 556-561, IEEE, 2023. [doi]
Abstract is missing.