@misc{indiciaef6838f940421,
  title = {Making Tezos smart contracts more reliable with Coq},
  author = {Bruno Bernardo and Raphaël Cauderlier and Guillaume Claret and Arvid Jakobsson and Basile Pesin and Julien Tesson},
  year = {2021},
  doi = {10.1007/978-3-030-61467-6\_5},
  url = {https://arxiv.org/abs/2106.12973},
  note = {Source identifier: 2106.12973}
}