Abstract Interpretation Using Domain Theory

F. Nielson

TypePh.D. thesis [Academic thesis]
Year1984
PublisherUniversity of Edinburgh
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering