Tian, C., Duan, Z., Duan, Z., & Ong, C. (2017). More effective interpolations in software model checking. Association for Computing Machinery.
芝加哥风格引文Tian, C., Z. Duan, Z. Duan, 与 C. Ong. More Effective Interpolations in Software Model Checking. Association for Computing Machinery, 2017.
MLA引文Tian, C., et al. More Effective Interpolations in Software Model Checking. Association for Computing Machinery, 2017.
警告：这些引文格式不一定是100％准确.