Login / Signup
SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts.
Shaokai Lin
Xinyuan Sun
Jianan Yao
Ronghui Gu
Published in:
CoRR (2021)
Keyphrases
</>
main contribution
information retrieval
database
image segmentation
three dimensional
multi agent
probabilistic model
supply chain
bayesian framework