A Z Specification of the Soft-Link Hypertext Model

Authors:
Mark d'Inverno;Michael J. Hu
Affiliations:
-;-
Venue:
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Year:
1997

Citing 0
Cited 2

Formalizing the Specification of Web Applications

ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Coupling schemas: data refinement and view (point) composition

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

Quantified Score

Hi-index	0.00

Visualization

Abstract