Domain Models of ``The Market'' - in Preparation for E-Transaction Systems

Dines Bjørner, Haim Kilov (Editor)

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

    Original languageEnglish
    Title of host publicationPractical Foundations of Business and System Specifications
    PublisherKlüwer Academic Press
    Publication date2002
    Publication statusPublished - 2002

    Cite this