Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Ruurd Kuiper, Bart Jacobs 0002, Anton Wijs. Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray, editors, MODELSWARD 2016 - Proceedings of the 4rd International Conference on Model-Driven Engineering and Software Development, Rome, Italy, 19-21 February, 2016. pages 578-588, SciTePress, 2016. [doi]
Abstract is missing.