An Assessment of Techniques for Proving Program Correctness

@article{Elspas1972AnAO,
  title={An Assessment of Techniques for Proving Program Correctness},
  author={Bernard Elspas and Karl N. Levitt and Richard J. Waldinger and Abraham Waksman},
  journal={ACM Comput. Surv.},
  year={1972},
  volume={4},
  pages={97-147}
}
Highly Cited
This paper has 32 citations. REVIEW CITATIONS