Challenges in Domain Modelling: Algebraic or Otherwise

Dines Bjørner

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

    Original languageEnglish
    Title of host publicationThe CafeOBJ Workshop
    Place of PublicationKanazawa, Japan
    PublisherJapan Adv. Inst. of Sci. & Techn.
    Publication date1998
    Publication statusPublished - 1998
    EventCafeOBJ Workshop - Numazu, Japan
    Duration: 1 Jan 1998 → …

    Conference

    ConferenceCafeOBJ Workshop
    CityNumazu, Japan
    Period01/01/1998 → …

    Cite this