Software Engineering, vol. 1: Abstraction and Modelling

Dines Bjørner

    Research output: Book/ReportBookResearchpeer-review

    Original languageEnglish
    PublisherSpringer
    Publication statusPublished - 2006

    Cite this