APA Citation

Jorge, J., Jardim Nunes, N., & Falcao e Cunha, J. (2003). Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers (1st ed. 2003.). Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago Style Citation

Jorge, Joaquim, Nuno Jardim Nunes, and Joao Falcao e Cunha. Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers. 1st ed. 2003. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003.

MLA Citation

Jorge, Joaquim, Nuno Jardim Nunes, and Joao Falcao e Cunha. Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers. 1st ed. 2003. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003.