A Denotational Framework for Data Flow Analysis

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalActa Informatica
    Volume18
    Pages (from-to)265-287
    ISSN0001-5903
    Publication statusPublished - 1982

    Cite this