1 paper
Nicola Atzei, Massimo Bartoletti, Stefano Lande +2
We present a toolchain for developing and verifying smart contracts that can be executed on Bitcoin. The toolchain is based on BitML, a recent domain-specific language for smart co…