APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.