Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation

Authors:
Jonathan P. Bowen;Michael G. Hinchey
Affiliations:
-;-
Venue:
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Year:
1995

Citing 0
Cited 2

Desert Island Column

Automated Software Engineering
Algebraic advances for aliasing

2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract