Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: S

Number of items: 1.

S

Smith, Graeme and Derrick, John (1997) Refinement and verification of concurrent systems specified in Object-Z and CSP. In: Hinchey, Michael G. and Liu, Shaoying, eds. First IEEE International Conference on Formal Engineering Methods. IEEE, pp. 293-302. ISBN 0-8186-8002-4. (doi:10.1109/ICFEM.1997.630436) (KAR id:21436)

This list was generated on Wed Apr 24 23:42:13 2024 BST.