Sobhan Yassipour Tehrani, Kevin Lano. Temporal Logic Specification and Analysis for Model Transformations. 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 2-11, CEUR-WS.org, 2015. [doi]
Abstract is missing.