A Z specification of the soft-link hypertext model
Tools
Tools
Tools
d'Inverno, Mark and Hu, Michael. 1997. 'A Z specification of the soft-link hypertext model'. In: ZUM '97: The Z Formal Specification Notation. Reading, United Kingdom. [Conference or Workshop Item]
|
Text
'A Z specification of the soft-link hypertext model.pdf Download (221kB) | Preview |
|
Item Type: |
Conference or Workshop Item (Paper) |
||||
| Departments, Centres and Research Units: |
|||||
| Dates: |
|
||||
| Event Location: |
Reading, United Kingdom |
||||
| Item ID: |
8786 |
||||
| Date Deposited: |
27 Aug 2013 10:06 |
||||
| Last Modified: |
29 Apr 2020 15:57 |
||||
|
URI: |
View statistics for this item...
 |
Edit Record (login required) |