A Generalized Formal Semantic Framework for Smart Contracts.

Jiao Jiao Shang-Wei Lin Jun Sun

Published in: FASE (2020)

Keyphrases

artificial intelligence
semantic web
formal model
information retrieval
information systems
case study
high level
multiscale
domain specific
bayesian framework
semantic similarity