International Workshop on the design, specification and verification of Interactive Systems :Glasgow, & Johnson, C. W. Interactive systems: Design,specification, and verification : 8th international workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13 15, 2001 : revised papers. Springer.
Style de citation Chicago (17e éd.)International Workshop on the design, specification and verification of Interactive Systems :Glasgow, et Chris W. Johnson. Interactive Systems: Design,specification, and Verification : 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13 15, 2001 : Revised Papers. Berlin [etc.]: Springer.
Style de citation MLA (8e éd.)International Workshop on the design, specification and verification of Interactive Systems :Glasgow, et Chris W. Johnson. Interactive Systems: Design,specification, and Verification : 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13 15, 2001 : Revised Papers. Springer.