@inproceedings{OBP7,
title = { Synthesizing Invariants by Solving Solvable Loops },
author = {Oliveira, Steven de and Bensalem, Saddek and Prevosto, Virgile},
year = {2017},
booktitle = {Automated Technology for Verification and Analysis - 15th International Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
pages = {327--343},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {10482},
team = {RSD},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6014557
|
|
|