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:
TACAS (2) (2021)
Keyphrases
</>
genetic algorithm
database
databases
learning algorithm
artificial intelligence
multi agent systems
mobile robot
smart grid