- QMRO Home
- School of Electronic Engineering and Computer Science
- Department of Computer Science Technical Reports: up to 1999
- A Compositional Model for the Formal Specification of User Interface Software
Browse
Administrators only