Items where Author is "Kolahdouz-Rahimi, S."
Jump to: Article
Number of items: 1.
Article
LANO, Kevin, CLARK, T. and KOLAHDOUZ-RAHIMI, S.
(2015).
A framework for model transformation verification.
Formal Aspects of Computing, 27 (1), 193-235.