Mukherjee, R., Kroening, D., Melham, T., & Srivas, M. (2015). Equivalence checking using trace partitioning. IEEE.
Chicago-referens (17:e uppl.)Mukherjee, R., D. Kroening, T. Melham, och M. Srivas. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
MLA-referens (9:e uppl.)Mukherjee, R., et al. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.