Directory Home
Researchers
Departments
Publications
Projects
Activities
Datasets
Home
>
Research
> Browse
Research
Research at Lancaster
Researchers
Departments & Centres
Publications & Outputs
Projects
Activities
Datasets
Results for Model transformations
Publications & Outputs
A survey of approaches for verifying model transformations
Ab. Rahim, L. &
Whittle, J.
,
05/2015
,
In:
Software and Systems Modeling.
14
,
2
,
p. 1003-1028
26 p.
Research output
:
Contribution to Journal/Magazine
›
Journal article
›
peer-review