@misc{indiciae8068cb85375a,
  title = {Debugging Program Verification Proof Scripts (Tool Paper)},
  author = {Bernhard Beckert and Sarah Grebing and and Alexander Weigl},
  year = {2018},
  url = {https://arxiv.org/abs/1804.04402},
  note = {Source identifier: 1804.04402}
}