Article citationsMore>>

J. Derrick and G. Smith, “Structural Refinement of ObjectZ/CSP Specification,” Proceedings of 2nd International Conference on Integrated Formal Methods, Dagstuhl Castle, 1-3 November 2000, pp. 194-213.

has been cited by the following article: