@misc{indiciae2c063e472afc,
  title = {A Complete Approach to Loop Verification with Invariants and Summaries},
  author = {Gidon Ernst},
  year = {2021},
  url = {https://arxiv.org/abs/2010.05812},
  note = {Source identifier: 2010.05812}
}