DIX, Alan John
Formal methods for interactive systems /
[by] Alan John Dix
- London Academic Press 1991
- 369 p.-
- Computers and people series .
Includes references and index.
122183150
User interface (computer systems)
Computer software - Development
4 / DIX