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

Group by: Item Type | Date | No Grouping

Number of items: 2.

Conference or workshop item

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 Wed Jun 19 02:52:55 2013 BST.