Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech
A Transformational Approach for Generating Non-linear Invariants
SAS, 2000.
@inproceedings{SAS-2000-BensalemBFGL,
author = "Saddek Bensalem and Marius Bozga and Jean-Claude Fernandez and Lucian Ghirvu and Yassine Lakhnech",
booktitle = "{Proceedings of the Seventh International Static Analysis Symposium}",
isbn = "3-540-67668-6",
pages = "58--74",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{A Transformational Approach for Generating Non-linear Invariants}",
volume = 1824,
year = 2000,
}