@misc{indiciae5ce8f79c06c2,
  title = {Cameleer: a Deductive Verification Tool for OCaml (extended version)},
  author = {Mário Pereira and António Ravara},
  year = {2021},
  url = {https://arxiv.org/abs/2104.11050},
  note = {Source identifier: 2104.11050}
}