Items where Author is "Rahimi, Shekoufeh Kolahdouz"

LANO, Kevin, RAHIMI, Shekoufeh Kolahdouz and CLARK, Tony (2014). Language-independent model transformation verification. In: AMRANI, Moussa, SYRIANI, Eugene and WIMMER, Manuel, (eds.) VOLT 2014 : verification of model transformations : proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2014), York, Uk, July 21, 2014. CEUR Workshop Proceedings (1325). Tilburg University, 36-45. [Book Section]