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

Pedro Antonino Juliandson Ferreira Augusto Sampaio A. W. Roscoe

Published in: SEFM (2022)

Keyphrases

supply chain
high level
smart grid
formal specification
neural network
case study
creation process
enabling technologies
database
artificial intelligence
social networks
knowledge base
ubiquitous environments