A heuristic approach to program verification (1973)

by S M Katz, Z Manna
Venue:In Proceedings of IJCAI-73. International Joint Conference on Artificial Intelligence