Skip to main navigation Skip to search Skip to main content

Algebraic specification in CASL

Hubert Baumeister, Didier Bert

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

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

    Access to Document

    OpenUrl availability

    Full text

    Cite this