A Heuristic Approach to Program Verification - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Shmuel Katz, Zohar Manna. A Heuristic Approach to Program Verification. In IJCAI. pages 500-512, 1973.

@inproceedings{KatzM73,
  title = {A Heuristic Approach to Program Verification},
  author = {Shmuel Katz and Zohar Manna},
  year = {1973},
  tags = {program verification, systematic-approach},
  researchr = {https://researchr.org/publication/KatzM73},
  cites = {0},
  citedby = {0},
  pages = {500-512},
  booktitle = {IJCAI},
}

runs on WebDSL