On the Automatic Discovery of Loop Invariants (1997)

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