TY  - RPRT
TI  - Formal Specification and Verification of Smart Contracts for Azure Blockchain
AU  - Yuepeng Wang
AU  - Shuvendu K. Lahiri
AU  - Shuo Chen
AU  - Rong Pan
AU  - Isil Dillig
AU  - Cody Born
AU  - Immad Naseer
PY  - 2019
UR  - https://arxiv.org/abs/1812.08829
ID  - 1812.08829
ER  -