Mukherjee, R., Kroening, D., Melham, T., & Srivas, M. (2015). Equivalence checking using trace partitioning. IEEE.
Cytowanie według stylu Chicago (wyd. 17)Mukherjee, R., D. Kroening, T. Melham, i M. Srivas. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
Cytowanie według stylu MLA (wyd. 9)Mukherjee, R., et al. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..