APA Citation

Graham, T. C. N., & Palanque, P. (2020). Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg.

Chicago Style Citation

Graham, T. C. Nicholas, and Philippe Palanque. Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg, 2020.

MLA Citation

Graham, T. C. Nicholas, and Philippe Palanque. Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg, 2020.

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