@inproceedings{DBLP:conf/icsoc/FekihLEBJ24,
  author       = {Rim Ben Fekih and
                  Mariam Lahami and
                  Mohamed Salem El Eze and
                  Salma Bradai and
                  Mohamed Jmaiel},
  title        = {Towards an Automated Verification Approach for ERC-Based Smart Contracts},
  booktitle    = {Service-Oriented Computing - 22nd International Conference, {ICSOC}
                  2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {15405},
  pages        = {331--338},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-981-96-0808-9\_25},
  doi          = {10.1007/978-981-96-0808-9\_25}
}