Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model

S.J. Even, D. Spelt

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationECOOP'99 Workshop Reader "Object-Oriented Technology"
    Place of PublicationLisboa, Portugal
    Publication statusPublished - 15 Jun 1999


    • METIS-119614

    Cite this