Formal Modeling and Verification of Smart Contracts
Blockchains and Smart Contracts for the Internet of Things