Two-Level Semantics and Abstract Interpretation
F. Nielson
Type
Journal paper [With referee]
Journal
Theoretical Computer Science -- Fundamental Studies
Year
1989
Vol.
69
pp.
117-242
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering