Mukherjee, R., Kroening, D., Melham, T., & Srivas, M. (2015). Equivalence checking using trace partitioning. IEEE.
Citace podle Chicago (17th ed.)Mukherjee, R., D. Kroening, T. Melham, a M. Srivas. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
Citace podle MLA (9th ed.)Mukherjee, R., et al. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..