Debugging program verification proof scripts (tool paper)

@article{journals_corr_abs-1804-04402,
  author        = {Bernhard Beckert and
                   Sarah Grebing and
                   Alexander Weigl},
  title         = {Debugging Program Verification Proof Scripts
                   (Tool Paper)},
  journal       = {CoRR},
  volume        = {abs/1804.04402},
  year          = 2018,
  month         = apr,
  url           = {http://arxiv.org/abs/1804.04402},
  archivePrefix = {arXiv},
  eprint        = {1804.04402}
}```