SmartDEMAP: A Smart Contract Deployment and Management Platform
Formal Verification of Smart Contracts: Short Paper