Items Authored/Edited by Priestley, Mark

Up a level

Group by: Item Type | Date | No Grouping

Jump to: 1997 | 1995

Number of items: 2.

1997

Preview

d'Inverno, Mark; Priestley, Mark and Luck, Michael. 1997. A Formal Framework for Hypertext Systems. Software Engineering. IEE Proceedings, 144(3), pp. 175-184. ISSN 1364-5080 [Article]

1995

Preview

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]

This list was generated on Tue Apr 16 04:28:05 2024 BST.

Export as	Atom RSS