Παραπομπή APA

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

Παραπομπή Chicago Style

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

Παραπομπή MLA

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

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.