author = { Peleg, Hila AND Shoham, Sharon AND Yahav, Eran AND Yang, Hongseok },

title = { Static Analysis: Symbolic Automata for Static Specification Mining },

publisher = {Springer Berlin Heidelberg},

isbn = {0302-9743},

isbn = {1611-3349},

year = {2013},

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