Towards Viewing Nondeterminism as Abstract Interpretation

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1983

View graph of relations

Original languageEnglish
Title of host publicationProc. Foundations of Software Technology and Theoretical Computer Science
Publication date1983
StatePublished

Conference

ConferenceProc. Foundations of Software Technology and Theoretical Computer Science
Period01/01/83 → …
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 2876549