UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 7286

Specifying ODP Computational Objects in Z
Sinnott,R.O. Turner,K.J.

Publication Type: Conference Proceedings
Appeared in: Formal Methods for Open Object-Based Distributed Systems
Page Numbers : 375-390
Publisher: Chapman & Hall
Year: 1997
ISBN/ISSN:
Abstract:

No abstract available.


Bibtex entry Endnote XML