Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.
Chicagoスタイル(17版)引用形式Chaochen, Z., , C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
MLA(9版)引用形式Chaochen, Z., , C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
警告: この引用は必ずしも正確ではありません.