Browse by Person (creator, editor, contributor, etc.)
Number of items: 2.
Conference or workshop item
Smith, G. and Derrick, J.
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.
The full text of this publication is not available from this repository.