Dyfyniad APA

Mukherjee, R., Kroening, D., Melham, T., & Srivas, M. (2015). Equivalence checking using trace partitioning. IEEE.

Dyfyniad Arddull Chicago

Mukherjee, R., D. Kroening, T. Melham, and M. Srivas. Equivalence Checking Using Trace Partitioning. IEEE, 2015.

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.