APA Citation

Doherty, G., & Blandford, A. (2007). Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers (1st ed. 2007.). Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago Style Citation

Doherty, Gavin, and Ann Blandford. Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers. 1st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007.

MLA Citation

Doherty, Gavin, and Ann Blandford. Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers. 1st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007.

Warning: These citations may not always be 100% accurate.