Flow Logics for Constraint Based Analysis

Hanne Riis Nielson, Flemming Nielson

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

    Original languageEnglish
    Title of host publicationProc. CC'98
    PublisherSpringer Verlag
    Publication date1998
    Pages109-127
    Publication statusPublished - 1998
    EventProc. CC'98 -
    Duration: 1 Jan 1998 → …

    Conference

    ConferenceProc. CC'98
    Period01/01/1998 → …

    Cite this