Title: Design, specification and verification of interactive systems '99
First published: 1999
Subjects: Congresses, Interactive computer systems, Computer graphics
LC classification: T385 .E9813 1999