@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
| Author(s): | Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, and Virgile Prevosto |
|---|---|
| Journal: | CoRR |
| Volume: | abs/1801.06876 |
| Year: | 2018 |
| URL: | https://arxiv.org/abs/1801.06876 |