Title: Design specification and verification of interactive systems '97
First published: 1997
Subjects: Congresses, Virtual reality, Computer graphics, Human-computer interaction, Applications of Computing, Systems analysis & design, Computers, Computers - General Information, Computer Books: General, Computer Science, Information Technology, Interactive computer systems
LC classification: T385 .E9813 1997