@article{blatterKGP18,
author = {Lionel Blatter and
Nikolai Kosmatov and
Pascale Le Gall and
Virgile Prevosto},
title = {Self-composition to Prove Relational Properties
in Annotated {C} Program},
journal = {CoRR},
volume = {abs/1801.06876},
year = {2018},
month = jan,
url = {https://arxiv.org/abs/1801.06876},
archivePrefix = {arXiv},
eprint = {1801.06876}
}
Self-composition to Prove Relational Properties in Annotated C Program
| Autor(en): | Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall und Virgile Prevosto |
|---|---|
| Zeitschrift: | CoRR |
| Band: | abs/1801.06876 |
| Jahr: | 2018 |
| URL: | https://arxiv.org/abs/1801.06876 |