Powerful techniques for the automatic generation of invariants, (1996)

by S Bensalem, Y Lakhnech, H Saidi
Venue:CAV,