APA Zitierstil

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

Chicago Zitierstil

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

MLA Zitierstil

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.