TY  - BOOK
AU  - Cousot, Patrick
TI  - Principles of abstract interpretation
SN  - 9780262044905
U1  - 006 C8368p 
PY  - 2021///
CY  - Cambridge
PB  - The MIT Press.
KW  - Semantic computing
KW  - Abstract data types (Computer science)
ER  -