Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.