Specifying Framing Conditions for Smart Contracts.

Bernhard Beckert Jonas Schiffl

Published in: ISoLA (3) (2020)

Keyphrases

supply chain
sufficient conditions
environmental conditions
database
data mining
machine learning
feature selection
wide range
relational databases
information retrieval
genetic algorithm
computer vision
website
decision trees
artificial neural networks