Interactive systems : design specification and verification : 9th , DSV-IS 2002,Rostock Germany, June 12-14, 2002 - Forbrig, P..; Urban, B.; Limbourg, Q.; International workshop 2002 : Rostock, Germany ) (London : Springer, 2002)
1 3
Keywords: Interactive computer systems -- Congresses