TY  - BOOK
AU  - Boulanger, Jean-Louis 
TI  - Static Analysis of Software : : The Abstract Interpretation 
SN  - 9781848213203 (Print)
PY  - 2012///
CY  - London (UK)
PB  - ISTE
KW  - Computer software
KW  - Testing
KW  - Computer science
KW  - Debugging
N1  - Includes bibliographical references and index
UR  - https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781118602867?download=true
ER  -