APA (7th ed.) Citation

Zhu, L., Xu, Q., & Zhu, H. (2018). Assertional Reasoning for Concurrent and Communicating BPEL-like Programs. Polish Information Processing Society.

Chicago Style (17th ed.) Citation

Zhu, Longfei, Qiwen Xu, and Huibiao Zhu. Assertional Reasoning for Concurrent and Communicating BPEL-like Programs. Polish Information Processing Society, 2018.

MLA (9th ed.) Citation

Zhu, Longfei, et al. Assertional Reasoning for Concurrent and Communicating BPEL-like Programs. Polish Information Processing Society, 2018.