@misc{indiciae7cfa22962c62,
  title = {Towards Safer Smart Contracts: A Survey of Languages and Verification Methods},
  author = {Dominik Harz and William Knottenbelt},
  year = {2018},
  url = {https://arxiv.org/abs/1809.09805},
  note = {Source identifier: 1809.09805}
}