Software Engineering, vol 2: Specification of Systems and Languages

Dines Bjørner

    Research output: Book/ReportBookResearchpeer-review

    Original languageEnglish
    PublisherSpringer
    Publication statusPublished - 2006

    Cite this