Formal Specification and Verification of Smart Contracts for Azure Blockchain

Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen +4