APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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