Items Authored/Edited by Hu, Michael
Up a level |
Number of items: 2.
2002
1997
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]