Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford
Assurance via model transformations and their hierarchical refinement
MoDELS, 2018.
@inproceedings{MoDELS-2018-DiskinMWWL,
author = "Zinovy Diskin and Tom Maibaum and Alan Wassyng and Stephen Wynn-Williams and Mark Lawford",
booktitle = "{Proceedings of the 21th International Conference on Model Driven Engineering Languages and Systems}",
doi = "10.1145/3239372.3239413",
pages = "426--436",
publisher = "{ACM}",
title = "{Assurance via model transformations and their hierarchical refinement}",
year = 2018,
}