The Z notation: a reference manual
The Z notation: a reference manual
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
Z in practice
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
An Introduction to Formal Specification and Z
An Introduction to Formal Specification and Z
Specification Case Studies
Using Yourdon and Z: an Approach to Formal Specification
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
Structured Analysis - A Draft Method for Writing Z Specifications
Proceedings of the Z User Workshop
Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Retrenchment: An Engineering Variation on Refinement
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
The SAZ Project: Integrating SSADM and Z.
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Coercing real-time refinement: a transmitter
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |