APA citiranje

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 citiranje

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