On teaching software engineering based on formal techniques

Dines Bjørner

    Research output: Contribution to journalJournal articleResearchpeer-review

    Abstract

    thoughts about and plans for a different software engineering text book peter Lucas Farewell Symposium
    Original languageEnglish
    JournalJournal of Universal Computer Science
    Volume7
    Issue number8
    Pages (from-to)641-667
    ISSN0948-695X
    Publication statusPublished - 2001

    Cite this