Descripción
|
|
---|---|
Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. | |
Internacional
|
Si |
Fecha
|
20/06/2013 |
Lugar
|
Seattle (EEUU) |
Tipo
|
Responsabilidades en congresos y reuniones técnicas internacionales |