TY  - RPRT
TI  - HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types
AU  - Yuki Nishida
AU  - Hiromasa Saito
AU  - Ran Chen
AU  - Akira Kawata
AU  - Jun Furuse
AU  - Kohei Suenaga
AU  - Atsushi Igarashi
PY  - 2021
UR  - https://arxiv.org/abs/2108.12971
ID  - 2108.12971
ER  -