Some Thoughts on Teaching Software Engineering - Central Roles of Semantics.

Dines Bjørner

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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

    Cite this