Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts.

Pedro Antonino Juliandson Ferreira Augusto Sampaio A. W. Roscoe

Published in: CoRR (2022)

Keyphrases

high level
supply chain
specification language
data sets
formal specification
smart grid
real time
information systems
conceptual model
legal reasoning
creation process
ubiquitous environments