APA (7th ed.) Citation

DSV-IS 2000 Limerick, Ireland, SpringerLink (Online service), Palanque, P., & Paternò, F. (2001). Interactive systems: Design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers. Springer.

Chicago Style (17th ed.) Citation

DSV-IS 2000 Limerick, Ireland, SpringerLink (Online service), Philippe Palanque, and Fabio Paternò. Interactive Systems: Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : Revised Papers. Berlin ; New York: Springer, 2001.

MLA (9th ed.) Citation

DSV-IS 2000 Limerick, Ireland, et al. Interactive Systems: Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : Revised Papers. Springer, 2001.