Graham, T. C. N., & Palanque, P. (2020). Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg.
Trích dẫn kiểu ChicagoGraham, T. C. Nicholas, và Philippe Palanque. Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg, 2020.
MLA引文Graham, T. C. Nicholas, và Philippe Palanque. Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg, 2020.
警告:這些引文格式不一定是100%准確.