TY - GEN
AU - Peleg, Hila
AU - Shoham, Sharon
AU - Yahav, Eran
AU - Yang, Hongseok
TI - Static Analysis: Symbolic Automata for Static Specification Mining
PB - Springer Berlin Heidelberg
SN - 0302-9743
SN - 1611-3349
PY - 2013
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation