Items where Author is "Clark, T."
Number of items: 2.
LANO, Kevin, CLARK, T. and KOLAHDOUZ-RAHIMI, S.
(2015).
A framework for model transformation verification.
Formal Aspects of Computing, 27 (1), 193-235.
EVANS, A.S. and CLARK, T.
(1997).
Foundations of the Unified Modeling Language.
In: DUKE, D. J. and EVANS, A.S., (eds.)
Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, 14-15 July 1997.
Electronic Workshops in Computing
.
Springer.