International Workshop on the design, specification and verification of Interactive Systems :Rostock, Vanderdonckt, J., Urban, B., & Forbrig, P. Interactive systems: Design, specification, and verification : 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers. Springer.
Cytowanie według stylu Chicago (wyd. 17)International Workshop on the design, specification and verification of Interactive Systems :Rostock, Jean Vanderdonckt, Bodo Urban, i Peter Forbrig. Interactive Systems: Design, Specification, and Verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : Revised Papers. Berlin [etc.]: Springer.
Cytowanie według stylu MLA (wyd. 8)International Workshop on the design, specification and verification of Interactive Systems :Rostock, et al. Interactive Systems: Design, Specification, and Verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : Revised Papers. Springer.