Items where Author is "Lano, Kevin"

LANO, Kevin, CLARK, T. and KOLAHDOUZ-RAHIMI, S. (2015). A framework for model transformation verification. Formal Aspects of Computing, 27 (1), 193-235. [Article]

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]