@inproceedings{DBLP:conf/iscc/FekihLJB23,
  author       = {Rim Ben Fekih and
                  Mariam Lahami and
                  Mohamed Jmaiel and
                  Salma Bradai},
  title        = {Formal Modeling and Verification of {ERC} Smart Contracts: Application
                  to {NFT}},
  booktitle    = {{IEEE} Symposium on Computers and Communications, {ISCC} 2023, Gammarth,
                  Tunisia, July 9-12, 2023},
  pages        = {556--561},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISCC58397.2023.10218105},
  doi          = {10.1109/ISCC58397.2023.10218105}
}