Blockchain-based Smart Contracts: A Systematic Mapping Study
Formal Verification of Smart Contracts: Short Paper