Embracing Overapproximation for Proving Nontermination - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn. Embracing Overapproximation for Proving Nontermination. TinyToCS, 3, 2015. [doi]

@article{CookFNO15,
  title = {Embracing Overapproximation for Proving Nontermination},
  author = {Byron Cook and Carsten Fuhs and Kaustubh Nimkar and Peter W. O'Hearn},
  year = {2015},
  url = {http://tinytocs.org/vol3/papers/TinyToCS_3_cook.pdf},
  researchr = {https://researchr.org/publication/CookFNO15},
  cites = {0},
  citedby = {0},
  journal = {TinyToCS},
  volume = {3},
}

runs on WebDSL