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

title = { Lecture Notes in Computer Science: Abstraction-Based Interaction Model for Synthesis },

publisher = {Springer International Publishing},

isbn = {0302-9743},

isbn = {1611-3349},

year = {2018},

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