Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

Debugging Program Verification Proof Scripts (Tool Paper)

Journal Article

Author(s):Bernhard Beckert, Sarah Grebing, and Alexander Weigl
Journal:CoRR
Volume:abs/1804.04402
Year:2018
URL:http://arxiv.org/abs/1804.04402

BibTeX

@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}
}