TY  - RPRT
TI  - Abstract Interpretation: A Methodology for the Rapid Development of Provably Correct Static Analyzers
AU  - Venet, Arnaud
AU  - Brat, Guillaume
PY  - 2003
UR  - https://ntrs.nasa.gov/citations/20030107285
ID  - 20030107285
ER  -