BitML: a calculus for Bitcoin smart contracts.

Massimo Bartoletti Roberto Zunino

Published in: IACR Cryptol. ePrint Arch. (2018)

Keyphrases

supply chain
credit card
databases
smart environments
first order logic
smart grid
social welfare
database query languages
smart objects
ubiquitous environments