next up previous
Next: Erratum Up: Refinement in Z and Previous: Bibliographical Notes


Refining CSP and Object-Z Specifications


Subsections
E.A.Boiten 2002-11-22