Proof Support for RAISE - by a Reuse Approach based on Institutions

Morten Peter Lindegaard, Anne Elisabeth Haxthausen

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

    Original languageEnglish
    Title of host publicationProceedings of AMAST'04
    PublisherSpringer Verlag
    Publication date2004
    Pages319-333
    Publication statusPublished - 2004
    SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    ISSN0302-9743

    Cite this

    Lindegaard, M. P., & Haxthausen, A. E. (2004). Proof Support for RAISE - by a Reuse Approach based on Institutions. In Proceedings of AMAST'04 (pp. 319-333). Springer Verlag. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) http://www.imm.dtu.dk/pubdb/p.php?3318