Proof Support for RAISE

Morten Peter Lindegaard, Michael Reichhardt Hansen (Editor)

    Research output: Contribution to conferencePosterResearch

    Original languageEnglish
    Publication date2001
    Publication statusPublished - 2001
    EventNWPT'01, The 13th Nordic Workshop on Programming Theory -
    Duration: 1 Jan 2001 → …
    Conference number: 13

    Conference

    ConferenceNWPT'01, The 13th Nordic Workshop on Programming Theory
    Number13
    Period01/01/2001 → …

    Bibliographical note

    IMM-TR-2001-12

    Keywords

    • proof support
    • RAISE
    • institutions
    • HOL
    • RSL
    • Isabelle

    Cite this

    Lindegaard, M. P., & Hansen, M. R. (Ed.) (2001). Proof Support for RAISE. Poster session presented at NWPT'01, The 13th Nordic Workshop on Programming Theory, .