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