An Example Railway Domain

Dines Bjørner

    Research output: Contribution to journalJournal articleResearch

    Original languageEnglish
    JournalBritish Computer Society FACTS FACT
    Issue number2
    Pages (from-to)29-39
    Publication statusPublished - 2005

    Cite this