Zheng Cheng, Rosemary Monahan, James F. Power. Verifying SimpleGT Transformations Using an Intermediate Verification Language. 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 12-19, CEUR-WS.org, 2015. [doi]
Abstract is missing.