Kevin Lano, Shekoufeh Kolahdouz Rahimi, Tony Clark. Language-Independent Model Transformation Verification. In Moussa Amrani, Eugene Syriani, Manuel Wimmer, editors, Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014. Volume 1325 of CEUR Workshop Proceedings, pages 36-45, CEUR-WS.org, 2014. [doi]
Abstract is missing.