Formal Modeling and Verification of ERC Smart Contracts: Application to NFT.

Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai

Browse the full ISCC paper archive.