Towards Viewing Nondeterminism as Abstract Interpretation

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

View graph of relations

Original languageEnglish
TitleProc. 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