Towards an Automated Verification Approach for ERC-Based Smart Contracts. - Rim Ben Fekih; Mariam Lahami; Mohamed Salem El Eze; Salma Bradai; Mohamed Jmaiel (ICSOC (2), 2024)