@article{Jha_2017,
    doi = {10.1007/s00236-017-0294-5},
    url = {https://doi.org/10.1007%2Fs00236-017-0294-5},
    year = {2017},
    month = {feb},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {54},
    number = {7},
    pages = {693--726},
    author = {Susmit Jha and Sanjit A. Seshia},
    title = {A theory of formal synthesis via inductive learning},
    journal = {Acta Informatica}
}

@article{Jha_2017, doi = {10.1007/s00236-017-0294-5}, url = {https://doi.org/10.1007%2Fs00236-017-0294-5}, year = {2017}, month = {feb}, publisher = {Springer Science and Business Media {LLC}}, volume = {54}, number = {7}, pages = {693--726}, author = {Susmit Jha and Sanjit A. Seshia}, title = {A theory of formal synthesis via inductive learning}, journal = {Acta Informatica} }