Towards Viewing Nondeterminism as Abstract Interpretation

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProc. Foundations of Software Technology and Theoretical Computer Science
    Publication date1983
    Publication statusPublished - 1983
    EventProc. Foundations of Software Technology and Theoretical Computer Science -
    Duration: 1 Jan 1983 → …

    Conference

    ConferenceProc. Foundations of Software Technology and Theoretical Computer Science
    Period01/01/1983 → …

    Cite this