author = { Peleg, Hila AND Itzhaky, Shachar AND Shoham, Sharon AND Yahav, Eran },

title = { Programming by predicates: a formal model for interactive synthesis },

publisher = {Springer Science and Business Media LLC},

isbn = {0001-5903},

isbn = {1432-0525},

keywords = { Computer Networks and Communications , Information Systems , Software },

year = {2020},

url = { http://slubdd.de/katalog?TN_libero_mab2 }