Strong Abstract Interpretation using Power Domains | A. Mycroft, F. Nielson
| | Type | Conference paper [With referee] | | Conference | Proc. ICALP'83 | | Year | 1983 Vol. 154 pp. 536-547 | | Publisher | Springer-Verlag | | Series | Lecture Notes in Computer Science | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|