Abstract Interpretation: A Semantics-Based Tool for Program Analysis | N. D. Jones, F. Nielson
| | Type | Book [Chapter] | | Book title | Handbook of Logic in Computer Science | | Editors | S. Abramsky and D. M. Gabbay and T. S. E. Maibaum | | Year | 1995 Vol. 4 pp. 527-636 | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|