A Heuristic Approach to Program Verification

IJCAI 1973 pp. 500-512

/ijcai/1973/katz1973ijcai-heuristic/

Cite

Text

Katz and Manna. "A Heuristic Approach to Program Verification." International Joint Conference on Artificial Intelligence, 1973.

Markdown

[Katz and Manna. "A Heuristic Approach to Program Verification." International Joint Conference on Artificial Intelligence, 1973.](https://mlanthology.org/ijcai/1973/katz1973ijcai-heuristic/)

BibTeX

@inproceedings{katz1973ijcai-heuristic,
  title     = {{A Heuristic Approach to Program Verification}},
  author    = {Katz, Shmuel and Manna, Zohar},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1973},
  pages     = {500-512},
  url       = {https://mlanthology.org/ijcai/1973/katz1973ijcai-heuristic/}
}