Towards Viewing Nondeterminism as Abstract Interpretation

F. Nielson

TypeConference paper [With referee]
ConferenceProc. Foundations of Software Technology and Theoretical Computer Science
Year1983
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering


Back  ::  IMM Publications