@article{Vechev_2012,
    doi = {10.1007/s10009-012-0232-3},
    url = {https://doi.org/10.1007%2Fs10009-012-0232-3},
    year = {2012},
    month = {may},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {15},
    number = {5-6},
    pages = {413--431},
    author = {Martin Vechev and Eran Yahav and Greta Yorsh},
    title = {Abstraction-guided synthesis of synchronization},
    journal = {International Journal on Software Tools for Technology Transfer}
}

@article{Vechev_2012, doi = {10.1007/s10009-012-0232-3}, url = {https://doi.org/10.1007%2Fs10009-012-0232-3}, year = {2012}, month = {may}, publisher = {Springer Science and Business Media {LLC}}, volume = {15}, number = {5-6}, pages = {413--431}, author = {Martin Vechev and Eran Yahav and Greta Yorsh}, title = {Abstraction-guided synthesis of synchronization}, journal = {International Journal on Software Tools for Technology Transfer} }