Some Thoughts on Teaching Software Engineering - The Role of Semantics

Dines Bjørner

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    Original languageEnglish
    Title of host publicationLiber Amircorum: Professor Jaco de Bakker
    PublisherStichting Centrum voor Wiskunde en Informatica
    Publication date2002
    Pages27-45
    Publication statusPublished - 2002

    OpenUrl availability

    Full text

    Cite this