@misc{indiciae4d63f18642e2,
  title = {Verifying Time Complexity of Binary Search using Dafny},
  author = {Shiri Morshtein and Ran Ettinger and Shmuel Tyszberowicz},
  year = {2021},
  doi = {10.4204/eptcs.338.9},
  url = {https://arxiv.org/abs/2108.02966},
  note = {Source identifier: 2108.02966}
}