@proceedings{DBLP:conf/sas/2017,
  editor    = {Francesco Ranzato},
  title     = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
               NY, USA, August 30 - September 1, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66706-5},
  doi       = {10.1007/978-3-319-66706-5},
  isbn      = {978-3-319-66705-8},
  timestamp = {Tue, 22 Aug 2017 07:32:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"GbLgMgkqCfEoQBvMj","bibbaseid":"ranzato-staticanalysis24thinternationalsymposiumsas2017newyorknyusaaugust30september12017proceedings-2017","downloads":0,"creationDate":"2018-03-11T19:00:34.940Z","title":"Static Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings","author_short":null,"year":2017,"bibtype":"proceedings","biburl":"http://dblp.org/pers/tb2/t/Tarlow:Daniel.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Francesco"],"propositions":[],"lastnames":["Ranzato"],"suffixes":[]}],"title":"Static Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings","series":"Lecture Notes in Computer Science","volume":"10422","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-319-66706-5","doi":"10.1007/978-3-319-66706-5","isbn":"978-3-319-66705-8","timestamp":"Tue, 22 Aug 2017 07:32:58 +0200","biburl":"https://dblp.org/rec/bib/conf/sas/2017","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/sas/2017,\n editor = {Francesco Ranzato},\n title = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,\n NY, USA, August 30 - September 1, 2017, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10422},\n publisher = {Springer},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-319-66706-5},\n doi = {10.1007/978-3-319-66706-5},\n isbn = {978-3-319-66705-8},\n timestamp = {Tue, 22 Aug 2017 07:32:58 +0200},\n biburl = {https://dblp.org/rec/bib/conf/sas/2017},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Ranzato, F."],"key":"DBLP:conf/sas/2017","id":"DBLP:conf/sas/2017","bibbaseid":"ranzato-staticanalysis24thinternationalsymposiumsas2017newyorknyusaaugust30september12017proceedings-2017","role":"editor","urls":{"Paper":"https://doi.org/10.1007/978-3-319-66706-5"},"downloads":0},"search_terms":["static","analysis","24th","international","symposium","sas","2017","new","york","usa","august","september","2017","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["vQ2FosXhGLY22bWQr"]}