A Formalisation of Analysis-based Model Migration.

Ingrid Chieh Yu, Henning Berg

Browse the full MODELSWARD paper archive.