Bounded Fixed Point Iteration

  • Hanne Riis Nielson
  • , Flemming Nielson

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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 → …

    Cite this