Algebraic specification in CASL

Hubert Baumeister, Didier Bert

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

    Original languageEnglish
    Title of host publicationSoftware specification Methods: An Overview Using a Case Study
    PublisherISTE Publishing Company
    Publication date2006
    Publication statusPublished - 2006

    Cite this

    Baumeister, H., & Bert, D. (2006). Algebraic specification in CASL. In Software specification Methods: An Overview Using a Case Study ISTE Publishing Company. http://www2.imm.dtu.dk/pubdb/views/publication_details.php?id=5034