A graph-based framework for analysing the design of smart contracts.

Bram Vandenbogaerde

Published in: ESEC/SIGSOFT FSE (2019)

Keyphrases

computer aided
engineering design
real world
case study
design process
design decisions
optimal design
real time
databases
neural network
hidden markov models
electronic commerce
software architecture
conceptual framework
design issues