Formal methods in human-computer interaction /

Bibliographic Details

Other Authors:	Palanque, Philippe, 1966-, Paternò, Fabio, 1960-
Format:	Book
Language:	English
Published:	London ; New York : Springer, [1998]
Series:	Formal approaches to computing and information technology.
Subjects:	Human-computer interaction.