On the Automatic Discovery of Loop Invariants (1997)

by Andrew Ireland , Jamie Stark
Citations:12 - 4 self