Interactive Systems. Design, Specification, and Verification

MLA

Graham, T. C. Nicholas, et al. Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg, 2008.

APA

Graham, T. C. Nicholas, Kanade, T., Palanque, P., & Kittler, J. (2008). Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg.

Chicago

Graham, T. C. Nicholas, Takeo Kanade, Philippe Palanque, and Josef Kittler. Interactive Systems. Design, Specification, and Verification. : Springer Berlin Heidelberg, 2008.