Interactive Systems. Design, Specification, and Verification

MLA

Gilroy, Stephen W, et al. Interactive Systems. Design, Specification, and Verification. Springer Berlin / Heidelberg, 2006.

APA

Gilroy, S. W, Harrison, M. D, Kanade, T., & Kittler, J. (2006). Interactive Systems. Design, Specification, and Verification. Springer Berlin / Heidelberg.

Chicago

Gilroy, Stephen W., Michael D Harrison, Takeo Kanade, and Josef Kittler. Interactive Systems. Design, Specification, and Verification. : Springer Berlin / Heidelberg, 2006.