• Media type: E-Article
  • Title: Static Analysis: Symbolic Automata for Static Specification Mining
  • Contributor: Peleg, Hila; Shoham, Sharon; Yahav, Eran; Yang, Hongseok
  • Published: Springer Berlin Heidelberg, 2013
  • Published in: Static Analysis
  • Extent: 63-83
  • Language: Not determined
  • DOI: 10.1007/978-3-642-38856-9_6
  • ISSN: 0302-9743; 1611-3349
  • Footnote: