Flow Logics for Constraint Based Analysis

    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

    Nielson, H. R., & Nielson, F. (1998). Flow Logics for Constraint Based Analysis. In Proc. CC'98 (pp. 109-127). Springer Verlag.