Software Engineering, vol. 1: Abstraction and Modelling

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