@misc{indiciaeb432d3db1a74,
  title = {Auto-active Verification of Graph Algorithms, Written in OCaml},
  author = {Daniel Castanho and Mário Pereira},
  year = {2022},
  url = {https://arxiv.org/abs/2207.09854},
  note = {Source identifier: 2207.09854}
}