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: Contribution to conferencePaperpeer-review

85 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model'. Together they form a unique fingerprint.