A transformational approach for generating non-linear invariants (0)

by S BENSALEM, M BOZGA, J-C FERNANDEZ, L GHIRVU, Y LAKHNECH
Venue:In Static Analysis Symposium (June 2000