TY  - BOOK
AU  - Blazy,Sandrine
AU  - Jensen,Thomas
ED  - SpringerLink (Online service)
TI  - Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings 
T2  - Theoretical Computer Science and General Issues
SN  - 9783662482889
AV  - QA76.9.L63 
PY  - 2015///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Logic design
KW  - Software engineering
KW  - Computer science
KW  - Logics and Meanings of Programs
KW  - Software Engineering
KW  - Programming Languages, Compilers, Interpreters
KW  - Mathematical Logic and Formal Languages
N2  - This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance are addressed, featuring theoretical, practical, and application advances in the area
UR  - https://doi.org/10.1007/978-3-662-48288-9
ER  -