Muzaffar Igamberdiev, Georg Grossmann, Markus Stumptner. Verification of the CD2RDBMS Transformation Case in Flora-2. In Moussa Amrani, Eugene Syriani, Manuel Wimmer, editors, Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015. Volume 1530 of CEUR Workshop Proceedings, pages 28-45, CEUR-WS.org, 2015. [doi]
@inproceedings{IgamberdievGS15,
title = {Verification of the CD2RDBMS Transformation Case in Flora-2},
author = {Muzaffar Igamberdiev and Georg Grossmann and Markus Stumptner},
year = {2015},
url = {http://ceur-ws.org/Vol-1530/paper5.pdf},
researchr = {https://researchr.org/publication/IgamberdievGS15},
cites = {0},
citedby = {0},
pages = {28-45},
booktitle = {Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015},
editor = {Moussa Amrani and Eugene Syriani and Manuel Wimmer},
volume = {1530},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}