Mukherjee, R., Kroening, D., Melham, T., & Srivas, M. (2015). Equivalence checking using trace partitioning. IEEE.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումMukherjee, R., D. Kroening, T. Melham, and M. Srivas. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
MLA (9րդ խմբ.) ՄեջբերումMukherjee, R., et al. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.