Towards an Automated Verification Approach for ERC-Based Smart Contracts.

Rim Ben Fekih, Mariam Lahami, Mohamed Salem El Eze, Salma Bradai, Mohamed Jmaiel

Browse the full ICSOC paper archive.