Induction as the Basis for Program Verification (Abstract)

@inproceedings{Reynolds-Yeh:ICSE76,
  author    = {Charles Reynolds and
               Raymond T. Yeh},
  title     = {Induction as the Basis for Program Verification {(Abstract)}},
  booktitle = {ICSE},
  pages     = {389},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}