CASL, the Common Algebraic Specification Language: Semantics and Proof Theory

Till Mossakowski, Anne Elisabeth Haxthausen, Donald Sannella, Andrzej Tarlecki

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalComputing and Informatics
    Volume22
    Issue number3-4
    Pages (from-to)285-322
    ISSN1335-9150
    Publication statusPublished - 2003

    Cite this