Abstract Interpretation of Denotational Definitions

Flemming Nielson

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

    Original languageEnglish
    Title of host publicationProc. STACS'86
    PublisherSpringer Verlag
    Publication date1986
    Pages1-20
    Publication statusPublished - 1986
    EventProc. STACS'86 -
    Duration: 1 Jan 1986 → …

    Conference

    ConferenceProc. STACS'86
    Period01/01/1986 → …

    Cite this