Domain Modelling: Resource Management Strategics, Tactics and Operations, Decision Support and Algorithmic Software

Dines Bjørner

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

    Original languageEnglish
    Title of host publicationProceedings of the Hoare Symposium
    Place of PublicationOxford, England
    PublisherMacmillan
    Publication date2000
    Publication statusPublished - 2000

    Cite this