Home
Scholarly Works
Assurance via model transformations and their...
Conference

Assurance via model transformations and their hierarchical refinement