TY  - RPRT
TI  - Developing secure Bitcoin contracts with BitML
AU  - Nicola Atzei
AU  - Massimo Bartoletti
AU  - Stefano Lande
AU  - Nobuko Yoshida
AU  - Roberto Zunino
PY  - 2019
UR  - https://arxiv.org/abs/1905.07639
ID  - 1905.07639
ER  -