User menu

Design, specification and verification of interactive systems

Bibliographic reference Forbrig, Peter ; Limbourg, Quentin ; Urban, Bodo ; Vanderdonckt, Jean. Design, specification and verification of interactive systems. IAG - LSM Working Papers ; 02/63 (2002)
Permanent URL http://hdl.handle.net/2078/18264