TY  - BOOK
AU  - Bodart F, ed.
ED  - International Eurographics Workshop on Design, Specification and verification of interactive systems (3rd : 1996 : Namur,Belgium)
ED  - International eurographics workshop on design, specification and verification of interactive systems
TI  - Design, Specification and verification of interactive systems
SN  - 3-211-82900-8
U1  - 4 
PY  - 1996///
CY  - New York
PB  - Springer
KW  - Computer science
KW  - Data processing
KW  - Interactive processing
KW  - Interactive systems
ER  -