BibTeX record journals/tinytocs/CookFNO15

download as .bib file

@article{DBLP:journals/tinytocs/CookFNO15,
  author    = {Byron Cook and
               Carsten Fuhs and
               Kaustubh Nimkar and
               Peter W. O'Hearn},
  title     = {Embracing Overapproximation for Proving Nontermination},
  journal   = {TinyToCS},
  volume    = {3},
  year      = {2015},
  url       = {http://tinytocs.org/vol3/papers/TinyToCS\_3\_cook.pdf},
  timestamp = {Sun, 09 Jul 2017 09:10:10 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tinytocs/CookFNO15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier