Wang, C., Cavarra, A., & Davies, J. (2011). Formal and Model−Based Testing of Concurrent Workflows. IEEE.
芝加哥风格引文Wang, C., A. Cavarra, 与 J. Davies. Formal and Model−Based Testing of Concurrent Workflows. IEEE, 2011.
MLA引文Wang, C., et al. Formal and Model−Based Testing of Concurrent Workflows. IEEE, 2011.
警告：这些引文格式不一定是100％准确.