Bounded Fixed Point Iteration

Hanne Riis Nielson, Flemming Nielson

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Original languageEnglish
    Title of host publicationProc. POPL'92
    PublisherACM Press
    Publication date1992
    Pages71-82
    Publication statusPublished - 1992
    EventProc. POPL'92 -
    Duration: 1 Jan 1992 → …

    Conference

    ConferenceProc. POPL'92
    Period01/01/1992 → …

    OpenUrl availability

    Full text

    Cite this