APA (7th ed.) Citation

DSV-IS 2003 Funchal, Madeira Islands, SpringerLink (Online service), Jorge, J. A., Jardim Nunes, N., & Falcão e Cunha, J. (2003). Interactive systems: Design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers. Springer.

Chicago Style (17th ed.) Citation

DSV-IS 2003 Funchal, Madeira Islands, SpringerLink (Online service), J. A. Jorge, Nuno Jardim Nunes, and João Falcão e Cunha. Interactive Systems: Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : Revised Papers. Berlin ; New York: Springer, 2003.

MLA (9th ed.) Citation

DSV-IS 2003 Funchal, Madeira Islands, et al. Interactive Systems: Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : Revised Papers. Springer, 2003.