Graham, T. C. N., & Palanque, P. (2020). Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg.
シカゴスタイル引用形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.
警告: この引用は必ずしも正確ではありません.