@misc{indiciaebc499888c564,
  title = {Deductive Verification via the Debug Adapter Protocol},
  author = {Gidon Ernst and Johannes Blau and Toby Murray},
  year = {2021},
  doi = {10.4204/eptcs.338.11},
  url = {https://arxiv.org/abs/2108.02968},
  note = {Source identifier: 2108.02968}
}