Dyfyniad APA

Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.

Dyfyniad Arddull Chicago

Chaochen, Z., and C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.

Dyfyniad MLA

Chaochen, Z., and C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.