Article citationsMore>>

J. Derrick and G. Smith, “Structural Refinement of Object-Z/CSP Specification,” Proceedings of 2nd International Conference on Integrated Formal Methods, London, Vol. 1945, 2000, pp. 194-213. http://dx.doi.org/10.1007/3-540-40911-4_12

has been cited by the following article: