Powerful techniques for the automatic generation of invariants (1996)

by S Bensalem, Y Lakhnech, H Saïdi
Venue:In CAV’96, volume 1102 of LNCS