Items where Author is "Lano, Kevin"
Jump to: Article | Book Section
Number of items: 2.
Article
LANO, Kevin, CLARK, T. and KOLAHDOUZ-RAHIMI, S.
(2015).
A framework for model transformation verification.
Formal Aspects of Computing, 27 (1), 193-235.
Book Section
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.