Title

Formal methods in human-computer interaction

Title Supplement
Outgrowth of the activities of the Human Computer Interaction Group at York
Person Involved
Publisher
Publishing Place
Cambridge
Publication Date
1990
Series
Cambridge series on human-computer interaction; 2
ISBN
0-521-37202-X