CASL Semantics

Hubert Baumeister, Maura Cerioli, Anne Elisabeth Haxthausen, Till Mossakowski, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Original languageEnglish
    Title of host publicationCASL Reference Manual : The Complete Documentation of the Common Algebraic Specification Language
    VolumeLecture Notes in Computer Science, Vol. 2960
    Publication date2004
    ISBN (Print)3-540-21301-5
    Publication statusPublished - 2004

    Cite this