TY - GEN
AU - Peleg, Hila
AU - Itzhaky, Shachar
AU - Shoham, Sharon
AU - Yahav, Eran
TI - Programming by predicates: a formal model for interactive synthesis
PB - Springer Science and Business Media LLC
SN - 0001-5903
SN - 1432-0525
KW - Computer Networks and Communications
KW - Information Systems
KW - Software
PY - 2020
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation