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]

[img]
Preview
Text (Structuring specification in Z to build a unifying framework for hypertext systems)
Structuring specification in Z to build a unifying framework for hypertext systems.pdf

Download (209kB) | Preview

Item Type:

Book Section

Identification Number (DOI):

https://doi.org/10.1007/3-540-60271-2_114

Departments, Centres and Research Units:

Computing

Dates:

DateEvent
1995Published

Item ID:

8779

Date Deposited:

19 Sep 2013 14:46

Last Modified:

29 Apr 2020 15:57

URI:

https://research.gold.ac.uk/id/eprint/8779

View statistics for this item...

Edit Record Edit Record (login required)