Debugging program verification proof scripts (tool paper)

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