Login / Signup
Making Tezos Smart Contracts More Reliable with Coq.
Bruno Bernardo
Raphaël Cauderlier
Guillaume Claret
Arvid Jakobsson
Basile Pesin
Julien Tesson
Published in:
ISoLA (3) (2020)
Keyphrases
</>
supply chain
databases
image processing
expert systems
hidden markov models
cost effective
formal methods
data sets
neural network
multiscale
objective function
relational databases
multiresolution
special case
highly accurate