A Tool for Defining the Architecture of Z Specifications - researchr publication

researchr

You are not signed in
Sign in
Sign up

Andrew Coombes, John A. McDermid. A Tool for Defining the Architecture of Z Specifications. In J. E. Nicholls, editor, Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990. Workshops in Computing, pages 77-92, Springer, 1990.

Abstract is missing.

runs on WebDSL