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

Deductive Verification with Relational Properties

Journal Article

Author(s):Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, and Virgile Prevosto
Journal:CoRR
Volume:abs/1606.00678
Year:2016
URL:https://arxiv.org/abs/1606.00678

BibTeX

@article{blatterKGP16,
  author    = {Lionel Blatter and
               Nikolai Kosmatov and
               Pascale Le Gall and
               Virgile Prevosto},
  title     = {Deductive Verification with Relational Properties},
  journal   = {CoRR},
  volume    = {abs/1606.00678},
  year      = {2016},
  month     = jun,
  url       = {https://arxiv.org/abs/1606.00678},
  archivePrefix = {arXiv},
  eprint    = {1606.00678}
}