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