Inference Rules for Program Annotation

@inproceedings{Dershowitz-Manna:ICSE78,
  author    = {Nachum Dershowitz and
               Zohar Manna},
  title     = {Inference Rules for Program Annotation},
  booktitle = {ICSE},
  pages     = {158--167},
  publisher = {{IEEE} Computer Society},
  year      = {1978},
}