| Original language | English |
|---|---|
| Title of host publication | Handbook of Logic in Computer Science |
| Volume | 4 |
| Publication date | 1995 |
| Pages | 527-636 |
| Publication status | Published - 1995 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
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