Browse by Person (creator, editor, contributor, etc.)

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

Bordbar, B. and Derrick, J. and Waters, G. (2003) A UML approach to the design of open distributed systems. In: Formal Methods and Software Engineering, October 21–25, 2002 , Shanghai, China. (The full text of this publication is not available from this repository)

Smith, G. and Derrick, J. (2002) Abstract Specification in Object-Z and CSP. In: George, C. and Miao, H., eds. Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, Icfem 2002 Shanghai, China, October 21-25, 2002. Lecture Notes in Computer Science, 2495. Springer, Berlin pp. 108-119. ISBN 3-540-00029-1. (The full text of this publication is not available from this repository)

This list was generated on Mon Apr 21 00:48:32 2014 BST.