@inproceedings{DBLP:conf/vmcai/EhlersSK14,
  author       = {R{\"{u}}diger Ehlers and
                  Sanjit A. Seshia and
                  Hadas Kress{-}Gazit},
  editor       = {Kenneth L. McMillan and
                  Xavier Rival},
  title        = {Synthesis with Identifiers},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 15th International
                  Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8318},
  pages        = {415--433},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54013-4\_23},
  doi          = {10.1007/978-3-642-54013-4\_23},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/EhlersSK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"4v8MMrYrZFuQihP7s","bibbaseid":"ehlers-seshia-kressgazit-synthesiswithidentifiers-2014","author_short":["Ehlers, R.","Seshia, S. A.","Kress-Gazit, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Rüdiger"],"propositions":[],"lastnames":["Ehlers"],"suffixes":[]},{"firstnames":["Sanjit","A."],"propositions":[],"lastnames":["Seshia"],"suffixes":[]},{"firstnames":["Hadas"],"propositions":[],"lastnames":["Kress-Gazit"],"suffixes":[]}],"editor":[{"firstnames":["Kenneth","L."],"propositions":[],"lastnames":["McMillan"],"suffixes":[]},{"firstnames":["Xavier"],"propositions":[],"lastnames":["Rival"],"suffixes":[]}],"title":"Synthesis with Identifiers","booktitle":"Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings","series":"Lecture Notes in Computer Science","volume":"8318","pages":"415–433","publisher":"Springer","year":"2014","url":"https://doi.org/10.1007/978-3-642-54013-4\\_23","doi":"10.1007/978-3-642-54013-4_23","timestamp":"Tue, 14 May 2019 10:00:43 +0200","biburl":"https://dblp.org/rec/conf/vmcai/EhlersSK14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/vmcai/EhlersSK14,\n author = {R{\\\"{u}}diger Ehlers and\n Sanjit A. Seshia and\n Hadas Kress{-}Gazit},\n editor = {Kenneth L. McMillan and\n Xavier Rival},\n title = {Synthesis with Identifiers},\n booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International\n Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,\n Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {8318},\n pages = {415--433},\n publisher = {Springer},\n year = {2014},\n url = {https://doi.org/10.1007/978-3-642-54013-4\\_23},\n doi = {10.1007/978-3-642-54013-4\\_23},\n timestamp = {Tue, 14 May 2019 10:00:43 +0200},\n biburl = {https://dblp.org/rec/conf/vmcai/EhlersSK14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ehlers, R.","Seshia, S. A.","Kress-Gazit, H."],"editor_short":["McMillan, K. L.","Rival, X."],"key":"DBLP:conf/vmcai/EhlersSK14","id":"DBLP:conf/vmcai/EhlersSK14","bibbaseid":"ehlers-seshia-kressgazit-synthesiswithidentifiers-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-54013-4\\_23"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/36/4385.bib","dataSources":["DtMtyfcGfRzFeLRYZ"],"keywords":[],"search_terms":["synthesis","identifiers","ehlers","seshia","kress-gazit"],"title":"Synthesis with Identifiers","year":2014}