Tallenna
Static Analysis
The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
- Alaotsikko
- 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
- Toimittaja
- Markus Müller-Olm, Helmut Seidl
- Painos
- 2014 ed.
- ISBN
- 9783319109350
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 20.8.2014
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 337
