Login / Signup
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types.
Yuki Nishida
Hiromasa Saito
Ran Chen
Akira Kawata
Jun Furuse
Kohei Suenaga
Atsushi Igarashi
Published in:
New Gener. Comput. (2022)
Keyphrases
</>
learning algorithm
supply chain
database
real time
computer vision
knowledge base
multimedia
multiscale
information technology
multiple types