Items where Author is "Clark, T."

LANO, Kevin, CLARK, T. and KOLAHDOUZ-RAHIMI, S. (2015). A framework for model transformation verification. Formal Aspects of Computing, 27 (1), 193-235. [Article]

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. [Book Section]