TY - BOOK ID - 130410480 TI - Design, specification and verification of interactive systems '95 : proceedings of the Eurographics workshop in Toulouse, France, June 7-9, 1995 AU - Palanque, Philippe AU - Bastide, Rémi AU - Eurographics workshop (1995 : Toulouse) PY - 1995 SN - 3211827390 9783211827390 PB - Wien: Springer, DB - UniCat KW - Interactive computer systems UR - https://www.unicat.be/uniCat?func=search&query=sysid:130410480 AB - ER -