7 citations · 7 across the 1 of their papers we have counts for
1 paper · 1 filter
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…