Mukherjee, R., Kroening, D., Melham, T., & Srivas, M. (2015). Equivalence checking using trace partitioning. IEEE.
Style de citation Chicago (17e éd.)Mukherjee, R., D. Kroening, T. Melham, et M. Srivas. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
Style de citation MLA (9e éd.)Mukherjee, R., et al. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
Attention : ces citations peuvent ne pas être correctes à 100%.