@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}
}
Deductive Verification with Relational Properties
| Autor(en): | Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall und Virgile Prevosto |
|---|---|
| Zeitschrift: | CoRR |
| Band: | abs/1606.00678 |
| Jahr: | 2016 |
| URL: | https://arxiv.org/abs/1606.00678 |