APA Citation

Doherty, G., & Blandford, A. (2020). Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg.

Chicago Style Citation

Doherty, Gavin, and Ann Blandford. Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg, 2020.

MLA Citation

Doherty, Gavin, and Ann Blandford. Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg, 2020.

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