Tactical Theorem Proving in Program Verification

@inproceedings{Heisel1990TacticalTP,
  title={Tactical Theorem Proving in Program Verification},
  author={Maritta Heisel and Wolfgang Reif and Werner Stephan},
  booktitle={CADE},
  year={1990}
}