APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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