Mukherjee, R., Kroening, D., Melham, T., & Srivas, M. (2015). Equivalence checking using trace partitioning. IEEE.
Citação do estilo Chicago (17ª ed.)Mukherjee, R., D. Kroening, T. Melham, e M. Srivas. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
Citação MLA (9ª ed.)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.