Sign in

A Generalized Formal Semantic Framework for Smart Contracts.

Jiao JiaoShang-Wei LinJun 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