Mukherjee, R., Kroening, D., Melham, T., & Srivas, M. (2015). Equivalence checking using trace partitioning. IEEE.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Mukherjee, R., D. Kroening, T. Melham, و M. Srivas. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Mukherjee, R., et al. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.