Siirry suoraan sisältöön
Static Analysis
Tallenna

Static Analysis

The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.
Alaotsikko
18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings
Toimittaja
Eran Yahav
ISBN
9783642237010
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
6.9.2011
Sivumäärä
387