Items where Author is "Lano, K"

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

Public

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

None

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.

This list was generated on Fri Apr 12 11:05:05 2024 UTC.