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]
@inproceedings{ZhangBBHK0W16,
title = {Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code},
author = {Dan Zhang and Dragan Bosnacki and Mark van den Brand and Cornelis Huizing and Ruurd Kuiper and Bart Jacobs 0002 and Anton Wijs},
year = {2016},
doi = {10.5220/0005689405780588},
url = {http://dx.doi.org/10.5220/0005689405780588},
researchr = {https://researchr.org/publication/ZhangBBHK0W16},
cites = {0},
citedby = {0},
pages = {578-588},
booktitle = {MODELSWARD 2016 - Proceedings of the 4rd International Conference on Model-Driven Engineering and Software Development, Rome, Italy, 19-21 February, 2016},
editor = {Slimane Hammoudi and Luís Ferreira Pires and Bran Selic and Philippe Desfray},
publisher = {SciTePress},
isbn = {978-989-758-168-7},
}