Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation

Authors:
Jonathan P. Bowen;Michael G. Hinchey;David Till
Affiliations:
-;-;-
Venue:
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Year:
1997

Citing 0
Cited 3

The use of industrial-strength formal methods

COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
An outline pattern language for Z: five illustrations and two tables

ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
IO-refinement in Z

3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract