@InProceedings{terminator,
  Author         = {Byron Cook and Andreas Podelski and Andrey Rybalchenko},
  Title          = {Termination proofs for systems code},
  BookTitle      = {Proc. of the 2006 {ACM} {SIGPLAN} {C}onference on
                   {P}rogramming {L}anguage {D}esign and {I}mplementation},
  year           = 2006
}

{"_id":{"_str":"5342b73a0e946d920a003393"},"__v":6,"authorIDs":["5468f82dbc7d6a460d0010cc"],"author_short":["Cook, B.","Podelski, A.","Rybalchenko, A."],"bibbaseid":"cook-podelski-rybalchenko-terminationproofsforsystemscode-2006","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Byron"],"propositions":[],"lastnames":["Cook"],"suffixes":[]},{"firstnames":["Andreas"],"propositions":[],"lastnames":["Podelski"],"suffixes":[]},{"firstnames":["Andrey"],"propositions":[],"lastnames":["Rybalchenko"],"suffixes":[]}],"title":"Termination proofs for systems code","booktitle":"Proc. of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation","year":"2006","bibtex":"@InProceedings{terminator,\n Author = {Byron Cook and Andreas Podelski and Andrey Rybalchenko},\n Title = {Termination proofs for systems code},\n BookTitle = {Proc. of the 2006 {ACM} {SIGPLAN} {C}onference on\n {P}rogramming {L}anguage {D}esign and {I}mplementation},\n year = 2006\n}\n\n","author_short":["Cook, B.","Podelski, A.","Rybalchenko, A."],"key":"terminator","id":"terminator","bibbaseid":"cook-podelski-rybalchenko-terminationproofsforsystemscode-2006","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"rbr.cs.umass.edu/gp/genplan.bib","downloads":0,"keywords":[],"search_terms":["termination","proofs","systems","code","cook","podelski","rybalchenko"],"title":"Termination proofs for systems code","year":2006,"dataSources":["ivTWmqfM6xcSHRfBa","BBkjciKCmRFKkzdZa"]}