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

Mukherjee, R., Kroening, D., Melham, T., & Srivas, M. (2015). Equivalence checking using trace partitioning. IEEE.

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

Mukherjee, R., D. Kroening, T. Melham, এবং M. Srivas. Equivalence Checking Using Trace Partitioning. IEEE, 2015.

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

Mukherjee, R., et al. Equivalence Checking Using Trace Partitioning. IEEE, 2015.