@misc{indiciae09238f12480f,
  title = {Developing secure Bitcoin contracts with BitML},
  author = {Nicola Atzei and Massimo Bartoletti and Stefano Lande and Nobuko Yoshida and Roberto Zunino},
  year = {2019},
  url = {https://arxiv.org/abs/1905.07639},
  note = {Source identifier: 1905.07639}
}