TY  - BOOK
AU  - Bor-Yuh Evan Chang
TI  - Static Analysis
SN  - 9783030323042
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-030-32304-2
ER  -