Abstract is missing.
- Fermenting and DistillingRobert P. Worden. 1-6
- The Formal Specification in Z of Defence Standard 00-56Jim Woodcock, Paul H. B. Gardiner, J. R. Hulance. 9-28
- Formal Specification of Telephone FeaturesPeter Mataga, Pamela Zave. 29-50
- A Tale of Two Paradigms: Formal Methods and Software TestingDavid A. Carrington, Phil Stocks. 51-68
- Integrating Formal Methods into a Professional Master of Software Engineering ProgramDavid Garlan. 71-85
- An Object-Oriented Development Framework for ZGraeme Smith. 89-107
- Z and HOLJonathan P. Bowen, Michael J. C. Gordon. 141-167
- Z and Natural SemanticsPeter Baumann. 168-184
- Towards Correct Executable Semantics for ZPeter T. Breuer, Jonathan P. Bowen. 185-209
- Towards a Z Method: Axiomatic Specification in ZJon G. Hall, John A. McDermid. 213-229
- Software Quality Assurance Using the SAZ MethodFiona A. C. Polack, Keith Mander. 230-249
- Z and Abstract Machine Notation: A ComparisonAntoni Diller, Rosemary Docherty. 250-263
- TLZLeslie Lamport. 267-268
- Visualising Concurrent Z SpecificationsAndy Evans. 269-281
- Specifying Real-Time Systems with Z and the Duration CalculusMarcin Engel. 282-294
- An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in ZDaniel K. C. Chan, Philip W. Trinder. 297-315
- Producing Z Specifications from Object-Oriented AnalysisJonathan Hammond. 316-336
- Animation of Object-Z Specifications with a Set-Oriented Prototyping LanguageWilhelm Hasselbring. 337-356
- Select Z BibliographyJonathan P. Bowen. 359-396
- Comp.specification.z and Z FORUM Frequently Asked QuestionsJonathan P. Bowen. 397-403