Software Engineering, vol 2: Specification of Systems and Languages

Dines Bjørner

    Research output: Book/Report › Book › Research › peer-review

    Original languageEnglish
    PublisherSpringer
    Publication statusPublished - 2006

    Access to Document

    OpenUrl availability

    Full text

    Cite this