APA (7 ম সংস্করণ) উদ্ধৃতি

Chen, H., David, C., Kroening, D., Schrammel, P., Wachter, B., & Cohen, M. (2016). Synthesising interprocedural bit-precise termination proofs. IEEE.

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

Chen, H., C. David, D. Kroening, P. Schrammel, B. Wachter, এবং M. Cohen. Synthesising Interprocedural Bit-precise Termination Proofs. IEEE, 2016.

M.L.A (9 ম সংস্করণ) উদ্ধৃতি

Chen, H., et al. Synthesising Interprocedural Bit-precise Termination Proofs. IEEE, 2016.