Induction as the Basis for Program Verification (Abstract).

Charles Reynolds, Raymond T. Yeh

Browse the full ICSE paper archive.