BitML: A Calculus for Bitcoin Smart Contracts.

Massimo Bartoletti Roberto Zunino

Published in: CCS (2018)

Keyphrases

supply chain
credit card
formal language
automated deduction
ubiquitous environments
decision making
web services
smart environments
algebraic structure