TY  - RPRT
TI  - Translation Certification for Smart Contracts
AU  - Jacco O. G. Krijnen
AU  - Manuel M. T. Chakravarty
AU  - Gabriele Keller
AU  - Wouter Swierstra
PY  - 2022
UR  - https://arxiv.org/abs/2201.04919
ID  - 2201.04919
ER  -