Mark Priestley

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1997

2 Mark d'Inverno, Mark Priestley, Michael Luck: Formal framework for hypertext systems. IEE Proceedings - Software 144(3): 175-184 (1997)

1995

1 Mark d'Inverno, Mark Priestley: Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems. ZUM 1995: 83-102

	1997
2		Mark d'Inverno, Mark Priestley, Michael Luck: Formal framework for hypertext systems. IEE Proceedings - Software 144(3): 175-184 (1997)
	1995
1		Mark d'Inverno, Mark Priestley: Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems. ZUM 1995: 83-102

Coauthor Index