Conference
Assurance via model transformations and their hierarchical refinement
Authors
Diskin Z; Maibaum T; Wassyng A; Wynn-Williams S; Lawford M
Pagination
pp. 426-436
DOI
10.1145/3239372.3239413
Experts has a new look! Let us know what you think of the updates.
Provide feedback