@inbook{Cousot90,
  author = {P. Cousot},
  editor = {J. van Leeuwen},
  title = {{Handbook of Theoretical Computer Science}},
  chapter = {{Methods and Logics for Proving Programs}},
  publisher = {Elsevier Science Publishers B. V.},
  year = 1990,
  pages = {{841--993}},
  volume = {B}
}

{"_id":"o5GAwjMWbpsM3BCam","bibbaseid":"cousot-handbookoftheoreticalcomputerscience-1990","downloads":0,"creationDate":"2016-02-08T21:26:15.699Z","title":"Handbook of Theoretical Computer Science","author_short":["Cousot, P."],"year":1990,"bibtype":"inbook","biburl":"http://wwwrobot.gmc.ulaval.ca/~sifou11/test.bib","bibdata":{"bibtype":"inbook","type":"inbook","author":[{"firstnames":["P."],"propositions":[],"lastnames":["Cousot"],"suffixes":[]}],"editor":[{"firstnames":["J."],"propositions":["van"],"lastnames":["Leeuwen"],"suffixes":[]}],"title":"Handbook of Theoretical Computer Science","chapter":"Methods and Logics for Proving Programs","publisher":"Elsevier Science Publishers B. V.","year":"1990","pages":"841--993","volume":"B","bibtex":"@inbook{Cousot90,\r\n author = {P. Cousot},\r\n editor = {J. van Leeuwen},\r\n title = {{Handbook of Theoretical Computer Science}},\r\n chapter = {{Methods and Logics for Proving Programs}},\r\n publisher = {Elsevier Science Publishers B. V.},\r\n year = 1990,\r\n pages = {{841--993}},\r\n volume = {B}\r\n}\r\n\r\n","author_short":["Cousot, P."],"editor_short":["van Leeuwen, J."],"key":"Cousot90","id":"Cousot90","bibbaseid":"cousot-handbookoftheoreticalcomputerscience-1990","role":"author","urls":{},"downloads":0},"search_terms":["handbook","theoretical","computer","science","cousot"],"keywords":[],"authorIDs":[],"dataSources":["sXvnoL4HXbgjkkbej"]}