Items where Author is "Clark, T."

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

Article

file
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

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.

This list was generated on Fri Mar 29 01:43:56 2024 UTC.