Items where SHU Author is "Lano, K"

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | Full Text | No Grouping
Number of items: 2.

Book Section

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.

Monograph

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

This list was generated on Tue Jan 31 19:54:23 2023 UTC.