A New Incompleteness Result for Hoare s System - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Mitchell Wand. A New Incompleteness Result for Hoare s System. Journal of the ACM, 25(1):168-175, 1978. [doi]

@article{Wand78,
  title = {A New Incompleteness Result for Hoare s System},
  author = {Mitchell Wand},
  year = {1978},
  doi = {10.1145/322047.322062},
  url = {http://doi.acm.org/10.1145/322047.322062},
  researchr = {https://researchr.org/publication/Wand78},
  cites = {0},
  citedby = {0},
  journal = {Journal of the ACM},
  volume = {25},
  number = {1},
  pages = {168-175},
}

runs on WebDSL