C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Proving Conditional Termination for Smart Contracts.
Ton Chanh Le
Lei Xu
Lin Chen
Weidong Shi
Published in:
BCC@AsiaCCS (2018)
Keyphrases
</>
term rewrite systems
supply chain
random field model
smart grid
smart environments
data sets
data mining
e learning
website
bayesian networks
data structure
conditional logic
term rewriting
smart objects
rewrite systems