APA引文

ZHANG, F., ZHAO, Y., SANAN, D., LIU, Y., TIU, A., LIN, S., & SUN, J. (2018). Compositional reasoning for shared-variable concurrent programs. Institutional Knowledge at Singapore Management University.

Chicago Style Citation

ZHANG, Fuyuan, Yongwang ZHAO, David SANAN, Yang LIU, Alwen TIU, Shang-Wei LIN, and Jun SUN. Compositional Reasoning for Shared-variable Concurrent Programs. Institutional Knowledge at Singapore Management University, 2018.

MLA引文

ZHANG, Fuyuan, et al. Compositional Reasoning for Shared-variable Concurrent Programs. Institutional Knowledge at Singapore Management University, 2018.