Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991

The proceedings recount the insights and discussions from the Sixth Annual Z User Meeting held in York in December 1991. It showcases a collection of papers and presentations that illustrate the advancements and practical applications of the Z notation, a formal specification language used in software engineering.

Contributors to the workshop share their experiences and findings, emphasizing the significance of clarity in software specifications and the engagement of the user community. This compilation not only serves as a valuable resource for researchers and practitioners in the field but also offers a glimpse into the evolving landscape of formal methods and their impact on software development at that time.