%0 Generic
%T Static Analysis: Symbolic Automata for Static Specification Mining
%A Peleg, Hila
%A Shoham, Sharon
%A Yahav, Eran
%A Yang, Hongseok
%I Springer Berlin Heidelberg
%@ 0302-9743
%@ 1611-3349
%D 2013
%C Springer Berlin Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation