Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code.

Published in: MODELSWARD (2016)

Keyphrases