UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 5965
DCS Tech Report Number:

Proceedings of Design, Specification and Verification of InteractiveSystems 2001
Johnson,C.W.

Publication Type: Tech Report (internal)
Appeared in: DCS Tech Report
Page Numbers :
Publisher: Dept of Computing Science, University of Glasgow
Year: 2001
Abstract:

No abstract available.


Bibtex entry Endnote XML