Abstract Interpretation Using Domain Theory
F. Nielson
Type
Ph.D. thesis [Academic thesis]
Year
1984
Publisher
University of Edinburgh
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering