Verification of the CD2RDBMS Transformation Case in Flora-2

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]

Authors

Muzaffar Igamberdiev

This author has not been identified. Look up 'Muzaffar Igamberdiev' in Google

Georg Grossmann

This author has not been identified. It may be one of the following persons: Look up 'Georg Grossmann' in Google

Markus Stumptner

This author has not been identified. Look up 'Markus Stumptner' in Google