Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

Mukherjee, R., D. Kroening, T. Melham, και M. Srivas. Equivalence Checking Using Trace Partitioning. IEEE, 2015.

Παραπομπή σε μορφή MLA (9th εκδ.)

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