TY  - GEN
AU  - Xavier Rival 
AU  - Yi, Kwangkeun 
TI  - Introduction to static analysis: : an abstract interpretation perspective
SN  - 9780262043410
U1  - 005.1 R521i 
PY  - 2020///
CY  - London
PB  - The MIT Press
KW  - Statics
KW  - Statics analysis
KW  - Computer Programming
KW  - Program Analysis
ER  -