| Original language | English |
|---|---|
| Title of host publication | Handbook of Logic in Computer Science |
| Publication date | 1995 |
| Pages | 527-636 |
| Publication status | Published - 1995 |
Abstract Interpretation: A Semantics-Based Tool for Program Analysis
N. D. Jones, Flemming Nielson
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review