A Transformational Approach for Generating Non-linear Invariants - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Saddek Bensalem' in GoogleThis author has not been identified. Look up 'Marius Bozga' in GoogleThis author has not been identified. Look up 'Jean-Claude Fernandez' in GoogleThis author has not been identified. Look up 'Lucian Ghirvu' in GoogleThis author has not been identified. Look up 'Yassine Lakhnech' in Google

runs on WebDSL