APA引文

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引文

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