Title: Design specification and verification of interactive systems '98
First published: 1998
Subjects: Congresses, Virtual reality, Computer graphics, Human-computer interaction, Interactive computer systems
LC classification: T385 .E9813 1997