Structuring specification in Z to build a unifying framework for hypertext systems

d'Inverno, Mark; and Priestley, Mark. 1995. Structuring specification in Z to build a unifying framework for hypertext systems. In: Jonathan P. Bowen and Michael G. Hinchey, eds. ZUM '95: The Z Formal Specification Notation. 967 Berlin, Germany: Springer, pp. 83-102. ISBN 9783540602712 [Book Section]
Copy
Item Type Book Section
Departments, Centres and Research Units Computing
Date Deposited 19 Sep 2013 14:46
Last Modified 29 Apr 2020 15:57

Explore Further

picture_as_pdf
Structuring specification in Z to build a unifying framework for hypertext systems.pdf
View Download

Atom BibTeX OpenURL ContextObject in Span OpenURL ContextObject Dublin Core Dublin Core MPEG-21 DIDL Data Cite XML EndNote HTML Citation METS MODS RIOXX2 XML Reference Manager Refer ASCII Citation
Export

Downloads