Items Authored/Edited by Priestley, Mark

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | Date | No Grouping
Number of items: 2.


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]

Book Section

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 Sat Aug 13 04:26:20 2022 BST.