Some Thoughts on Teaching Software Engineering - The Role of Semantics

Dines Bjørner

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-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

    Cite this