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: 1.

Conference or workshop item

Smith, Graeme and Derrick, John (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 Jul 7 12:03:53 2014 BST.