Powerful Techniques for the Automatic Generation of Invariants (1996)

by Saddek Bensalem, Hassen Saidi
Venue:In CAV