Media type: E-Article Title: Programming by predicates: a formal model for interactive synthesis Contributor: Peleg, Hila; Itzhaky, Shachar; Shoham, Sharon; Yahav, Eran imprint: Springer Science and Business Media LLC, 2020 Published in: Acta Informatica Language: English DOI: 10.1007/s00236-019-00340-y ISSN: 0001-5903; 1432-0525 Keywords: Computer Networks and Communications ; Information Systems ; Software Origination: Footnote: