Cita APA

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

Citación estilo Chicago

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

Cita MLA

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