APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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