@misc{indiciae26678b757d6c,
  title = {Translation Certification for Smart Contracts},
  author = {Jacco O. G. Krijnen and Manuel M. T. Chakravarty and Gabriele Keller and Wouter Swierstra},
  year = {2022},
  url = {https://arxiv.org/abs/2201.04919},
  note = {Source identifier: 2201.04919}
}