@misc{indiciaead07137f3f31,
  title = {Formal Specification and Verification of Smart Contracts for Azure Blockchain},
  author = {Yuepeng Wang and Shuvendu K. Lahiri and Shuo Chen and Rong Pan and Isil Dillig and Cody Born and Immad Naseer},
  year = {2019},
  url = {https://arxiv.org/abs/1812.08829},
  note = {Source identifier: 1812.08829}
}