Items where Author is "Lano, K"

LANO, K, KOLAHDOUZ-RAHIMI, S and CLARK, Tony (2012). Comparing verification techniques for model transformations. In: MoDeVVa '12 Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation. ACM, 23-28. [Book Section]

LANO, K, KOLAHDOUZ-RAHIMI, S and CLARK, Tony (2012). Verification of model transformations. Other. Dept. of Informatics, King's College London. [Monograph]