APA (7. basım) Alıntı

Tian, C., Duan, Z., Duan, Z., & Ong, C. (2017). More effective interpolations in software model checking. Association for Computing Machinery.

Chicago Style (17. basım) Atıf

Tian, C., Z. Duan, Z. Duan, ve C. Ong. More Effective Interpolations in Software Model Checking. Association for Computing Machinery, 2017.

MLA (9th ed.) Atıf

Tian, C., et al. More Effective Interpolations in Software Model Checking. Association for Computing Machinery, 2017.