%0 Journal Article %1 journals/fmsd/JeonQSF17 %A Jeon, Jinseong %A Qiu, Xiaokang %A Solar-Lezama, Armando %A Foster, Jeffrey S. %D 2017 %J Formal Methods Syst. Des. %K %N 1 %P 75-95 %T An empirical study of adaptive concretization for parallel program synthesis. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd50.html#JeonQSF17 %V 50

@article{journals/fmsd/JeonQSF17, added-at = {2023-12-13T03:46:33.000+0100}, author = {Jeon, Jinseong and Qiu, Xiaokang and Solar-Lezama, Armando and Foster, Jeffrey S.}, biburl = {https://www.bibsonomy.org/bibtex/28d52f7f5edbe5325d06735af2e134330/admin}, ee = {https://doi.org/10.1007/s10703-017-0269-8}, interhash = {8ec879009e2888e21ad3b72d42b5cd57}, intrahash = {8d52f7f5edbe5325d06735af2e134330}, journal = {Formal Methods Syst. Des.}, keywords = {}, number = 1, pages = {75-95}, timestamp = {2023-12-13T03:46:33.000+0100}, title = {An empirical study of adaptive concretization for parallel program synthesis.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd50.html#JeonQSF17}, volume = 50, year = 2017 }