A calculus for schemas in Z

Authors:
S. M. Brien;A. P. Martin
Affiliations:
-;-
Venue:
Journal of Symbolic Computation - Special Issue on Schemas
Year:
2000

Citing 0
Cited 2

Relating Z and First-Order Logic

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Transformation rules for Z

CATS '09 Proceedings of the Fifteenth Australasian Symposium on Computing: The Australasian Theory - Volume 94

Quantified Score

Hi-index	0.00

Visualization

Abstract