@misc{indiciaec6e981d10d39,
  title = {Formal Proofs of Tarjan's Algorithm in Why3, Coq, and Isabelle},
  author = {Ran Chen and Cyril Cohen and Jean-Jacques Levy and Stephan Merz and Laurent Thery},
  year = {2018},
  url = {https://arxiv.org/abs/1810.11979},
  note = {Source identifier: 1810.11979}
}