Software Engineering, vol. 1: Abstraction and Modelling

Dines Bjørner

    Research output: Book/ReportBook

    Original languageEnglish
    PublisherSpringer
    Publication statusPublished - 2006

    Cite this