Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech. A Transformational Approach for Generating Non-linear Invariants. In Jens Palsberg, editor, Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings. Volume 1824 of Lecture Notes in Computer Science, pages 58-74, Springer, 2000.
@inproceedings{BensalemBFGL00,
title = {A Transformational Approach for Generating Non-linear Invariants},
author = {Saddek Bensalem and Marius Bozga and Jean-Claude Fernandez and Lucian Ghirvu and Yassine Lakhnech},
year = {2000},
tags = {systematic-approach, transformation},
researchr = {https://researchr.org/publication/BensalemBFGL00},
cites = {0},
citedby = {0},
pages = {58-74},
booktitle = {Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings},
editor = {Jens Palsberg},
volume = {1824},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67668-6},
}