Mukherjee, R., Kroening, D., Melham, T., & Srivas, M. (2015). Equivalence checking using trace partitioning. IEEE.
芝加哥风格引文Mukherjee, R., D. Kroening, T. Melham, 与 M. Srivas. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
MLA引文Mukherjee, R., et al. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
警告：这些引文格式不一定是100％准确.