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]
Abstract is missing.