(2001). Interactive systems: Design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers / Philippe Palanque, Fabio Paternò, (eds.).
Chicago Style (17th ed.) CitationInteractive Systems: Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : Revised Papers / Philippe Palanque, Fabio Paternò, (eds.). 2001.
MLA (9th ed.) CitationInteractive Systems: Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : Revised Papers / Philippe Palanque, Fabio Paternò, (eds.). 2001.
Warning: These citations may not always be 100% accurate.