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.