@article{DBLP:journals/fmsd/FismanSS21,
  author       = {Dana Fisman and
                  Rishabh Singh and
                  Armando Solar{-}Lezama},
  title        = {Special Issue on Syntax-Guided Synthesis Preface},
  journal      = {Formal Methods Syst. Des.},
  volume       = {58},
  number       = {3},
  pages        = {469--470},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-021-00386-0},
  doi          = {10.1007/S10703-021-00386-0},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/FismanSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"rk72nmgwWWF2qEFGs","bibbaseid":"fisman-singh-solarlezama-specialissueonsyntaxguidedsynthesispreface-2021","author_short":["Fisman, D.","Singh, R.","Solar-Lezama, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Dana"],"propositions":[],"lastnames":["Fisman"],"suffixes":[]},{"firstnames":["Rishabh"],"propositions":[],"lastnames":["Singh"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Solar-Lezama"],"suffixes":[]}],"title":"Special Issue on Syntax-Guided Synthesis Preface","journal":"Formal Methods Syst. Des.","volume":"58","number":"3","pages":"469–470","year":"2021","url":"https://doi.org/10.1007/s10703-021-00386-0","doi":"10.1007/S10703-021-00386-0","timestamp":"Mon, 26 Jun 2023 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/fmsd/FismanSS21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/fmsd/FismanSS21,\n author = {Dana Fisman and\n Rishabh Singh and\n Armando Solar{-}Lezama},\n title = {Special Issue on Syntax-Guided Synthesis Preface},\n journal = {Formal Methods Syst. Des.},\n volume = {58},\n number = {3},\n pages = {469--470},\n year = {2021},\n url = {https://doi.org/10.1007/s10703-021-00386-0},\n doi = {10.1007/S10703-021-00386-0},\n timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/fmsd/FismanSS21.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fisman, D.","Singh, R.","Solar-Lezama, A."],"key":"DBLP:journals/fmsd/FismanSS21","id":"DBLP:journals/fmsd/FismanSS21","bibbaseid":"fisman-singh-solarlezama-specialissueonsyntaxguidedsynthesispreface-2021","role":"author","urls":{"Paper":"https://doi.org/10.1007/s10703-021-00386-0"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/s/Solar=Lezama:Armando","dataSources":["rGuy4xgsrB7zfgooW","BD7bKLMmjzry4ihss","DAnxudWukpMXCtWy8"],"keywords":[],"search_terms":["special","issue","syntax","guided","synthesis","preface","fisman","singh","solar-lezama"],"title":"Special Issue on Syntax-Guided Synthesis Preface","year":2021}