Woodcock, J.C.P. (1989) Structuring Specifications in Z. IEE/BCS Software Engineering Journal, 4, 51-66.http://dx.doi.org/10.1049/sej.1989.0007
has been cited by the following article:
Related Articles: